Dave is big. Dave is blue. Dave is quiet. Dave is smart. Dave is white. Erin is big. Erin is blue. Erin is quiet. Erin is smart. Fiona is blue. Fiona is smart. Fiona is white. Harry is big. Harry is kind. Harry is young. If Dave is big and Dave is white then Dave is blue. If Erin is young and Erin is smart then Erin is blue. If someone is smart then they are white. If someone is quiet then they are big. If someone is white then they are young. If Dave is blue and Dave is white then Dave is smart.
Fiona is kind.
@0: Dave is big.[(triple1 OR ((triple3) -> rule4))] Dave is blue.[(triple2 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple4) -> rule3)) -> rule1) OR ((((triple3) -> rule4) triple5) -> rule1) OR ((((triple3) -> rule4) ((triple4) -> rule3)) -> rule1))] Dave is quiet.[(triple3)] Dave is smart.[(triple4 OR ((triple2 triple5) -> rule6) OR ((((triple1 triple5) -> rule1) triple5) -> rule6) OR ((((((triple3) -> rule4) triple5) -> rule1) triple5) -> rule6))] Dave is white.[(triple5 OR ((triple4) -> rule3))] Erin is big.[(triple6 OR ((triple8) -> rule4))] Erin is blue.[(triple7 OR ((((((triple9) -> rule3)) -> rule5) triple9) -> rule2))] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Fiona is blue.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12 OR ((triple11) -> rule3))] Harry is big.[(triple13)] Harry is kind.[(triple14)] Harry is young.[(triple15)] @1: Dave is young.[(((triple5) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] Erin is white.[(((triple9) -> rule3))] Fiona is young.[(((triple12) -> rule5) OR ((((triple11) -> rule3)) -> rule5))] @2: Erin is young.[(((((triple9) -> rule3)) -> rule5))]