Charlie is blue. Charlie is green. Charlie is quiet. Charlie is red. Charlie is white. Dave is blue. Dave is green. Dave is quiet. Dave is white. Erin is red. Erin is smart. Fiona is blue. Fiona is red. Fiona is round. Fiona is white. If someone is blue then they are round. If someone is white then they are smart. All green people are blue. Green people are smart. All quiet, smart people are round. Smart people are green.
Dave is not smart.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule3) OR ((((((triple5) -> rule2)) -> rule6)) -> rule3))] Charlie is green.[(triple2 OR ((((triple5) -> rule2)) -> rule6))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5)] Dave is blue.[(triple6 OR ((triple7) -> rule3) OR ((((((triple9) -> rule2)) -> rule6)) -> rule3))] Dave is green.[(triple7 OR ((((triple9) -> rule2)) -> rule6))] Dave is quiet.[(triple8)] Dave is white.[(triple9)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Fiona is blue.[(triple12 OR ((((((triple15) -> rule2)) -> rule6)) -> rule3))] Fiona is red.[(triple13)] Fiona is round.[(triple14 OR ((triple12) -> rule1) OR ((((((((triple15) -> rule2)) -> rule6)) -> rule3)) -> rule1))] Fiona is white.[(triple15)] @1: Charlie is round.[(((triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule1) OR ((triple3 ((triple2) -> rule4)) -> rule5) OR ((triple3 ((triple5) -> rule2)) -> rule5) OR ((((((((triple5) -> rule2)) -> rule6)) -> rule3)) -> rule1))] Charlie is smart.[(((triple2) -> rule4) OR ((triple5) -> rule2))] Dave is round.[(((triple6) -> rule1) OR ((((triple7) -> rule3)) -> rule1) OR ((triple8 ((triple7) -> rule4)) -> rule5) OR ((triple8 ((triple9) -> rule2)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule1))] Dave is smart.[(((triple7) -> rule4) OR ((triple9) -> rule2))] Erin is green.[(((triple11) -> rule6))] Fiona is smart.[(((triple15) -> rule2))] @2: Erin is blue.[(((((triple11) -> rule6)) -> rule3))] Fiona is green.[(((((triple15) -> rule2)) -> rule6))] @3: Erin is round.[(((((((triple11) -> rule6)) -> rule3)) -> rule1))]