P false

P falseP falseP falseP falseP falseP false
P falseP falseP falseP falseP falseP false
P false