Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is white. Erin is nice. Erin is red. Erin is rough. Erin is white. Harry is nice. Harry is red. If something is rough and nice then it is white. If Harry is red and Harry is smart then Harry is rough. If something is red then it is smart. If something is young and rough then it is quiet. Smart things are rough. White, quiet things are red.
Harry is quiet.
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3 OR ((triple6 triple2) -> rule6) OR ((((triple4 triple1) -> rule1) triple2) -> rule6) OR ((((((triple5) -> rule5) triple1) -> rule1) triple2) -> rule6))] Dave is rough.[(triple4 OR ((triple5) -> rule5) OR ((((triple3) -> rule3)) -> rule5) OR ((((((triple6 triple2) -> rule6)) -> rule3)) -> rule5))] Dave is smart.[(triple5 OR ((triple3) -> rule3) OR ((((triple6 triple2) -> rule6)) -> rule3) OR ((((((triple4 triple1) -> rule1) triple2) -> rule6)) -> rule3))] Dave is white.[(triple6 OR ((triple4 triple1) -> rule1) OR ((((triple5) -> rule5) triple1) -> rule1) OR ((((((triple3) -> rule3)) -> rule5) triple1) -> rule1))] Erin is nice.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9 OR ((((triple8) -> rule3)) -> rule5))] Erin is white.[(triple10 OR ((triple9 triple7) -> rule1) OR ((((((triple8) -> rule3)) -> rule5) triple7) -> rule1))] Harry is nice.[(triple11)] Harry is red.[(triple12)] @1: Erin is smart.[(((triple8) -> rule3))] Harry is smart.[(((triple12) -> rule3))] @2: Harry is rough.[(((((triple12) -> rule3)) -> rule5) OR ((triple12 ((triple12) -> rule3)) -> rule2))] @3: Harry is white.[(((((((triple12) -> rule3)) -> rule5) triple11) -> rule1) OR ((((triple12 ((triple12) -> rule3)) -> rule2) triple11) -> rule1))]