Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Anne is white. Dave is blue. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is white. Harry is blue. Harry is quiet. Harry is red. Rough things are white. If something is smart then it is rough. Kind, smart things are rough. If something is blue and rough then it is quiet. White, smart things are red. All quiet, blue things are smart.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2 OR ((triple1 triple4) -> rule4) OR ((triple1 ((triple5) -> rule2)) -> rule4))] Anne is red.[(triple3 OR ((triple6 triple5) -> rule5) OR ((triple6 ((triple2 triple1) -> rule6)) -> rule5) OR ((((triple4) -> rule1) triple5) -> rule5) OR ((((triple4) -> rule1) ((triple2 triple1) -> rule6)) -> rule5) OR ((triple6 ((((triple1 triple4) -> rule4) triple1) -> rule6)) -> rule5) OR ((((((triple5) -> rule2)) -> rule1) triple5) -> rule5) OR ((((triple4) -> rule1) ((((triple1 triple4) -> rule4) triple1) -> rule6)) -> rule5) OR ((((((triple5) -> rule2)) -> rule1) ((triple2 triple1) -> rule6)) -> rule5) OR ((((((triple5) -> rule2)) -> rule1) ((((triple1 triple4) -> rule4) triple1) -> rule6)) -> rule5) OR ((((((((triple2 triple1) -> rule6)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((((triple2 triple1) -> rule6)) -> rule2)) -> rule1) ((triple2 triple1) -> rule6)) -> rule5) OR ((((((((triple2 triple1) -> rule6)) -> rule2)) -> rule1) ((((triple1 triple4) -> rule4) triple1) -> rule6)) -> rule5))] Anne is rough.[(triple4 OR ((triple5) -> rule2) OR ((((triple2 triple1) -> rule6)) -> rule2))] Anne is smart.[(triple5 OR ((triple2 triple1) -> rule6) OR ((((triple1 triple4) -> rule4) triple1) -> rule6))] Anne is white.[(triple6 OR ((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1) OR ((((((triple2 triple1) -> rule6)) -> rule2)) -> rule1))] Dave is blue.[(triple7)] Dave is kind.[(triple8)] Dave is quiet.[(triple9 OR ((triple7 triple11) -> rule4))] Dave is red.[(triple10 OR ((triple12 ((triple9 triple7) -> rule6)) -> rule5) OR ((((triple11) -> rule1) ((triple9 triple7) -> rule6)) -> rule5) OR ((triple12 ((((triple7 triple11) -> rule4) triple7) -> rule6)) -> rule5) OR ((((triple11) -> rule1) ((((triple7 triple11) -> rule4) triple7) -> rule6)) -> rule5) OR ((((((((triple9 triple7) -> rule6)) -> rule2)) -> rule1) ((triple9 triple7) -> rule6)) -> rule5) OR ((((((triple8 ((triple9 triple7) -> rule6)) -> rule3)) -> rule1) ((triple9 triple7) -> rule6)) -> rule5) OR ((((((((triple9 triple7) -> rule6)) -> rule2)) -> rule1) ((((triple7 triple11) -> rule4) triple7) -> rule6)) -> rule5) OR ((((((triple8 ((triple9 triple7) -> rule6)) -> rule3)) -> rule1) ((((triple7 triple11) -> rule4) triple7) -> rule6)) -> rule5))] Dave is rough.[(triple11 OR ((((triple9 triple7) -> rule6)) -> rule2) OR ((triple8 ((triple9 triple7) -> rule6)) -> rule3))] Dave is white.[(triple12 OR ((triple11) -> rule1) OR ((((((triple9 triple7) -> rule6)) -> rule2)) -> rule1) OR ((((triple8 ((triple9 triple7) -> rule6)) -> rule3)) -> rule1))] Harry is blue.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15 OR ((((((((triple14 triple13) -> rule6)) -> rule2)) -> rule1) ((triple14 triple13) -> rule6)) -> rule5))] @1: Dave is smart.[(((triple9 triple7) -> rule6) OR ((((triple7 triple11) -> rule4) triple7) -> rule6))] Harry is smart.[(((triple14 triple13) -> rule6))] @2: Harry is rough.[(((((triple14 triple13) -> rule6)) -> rule2))] @3: Harry is white.[(((((((triple14 triple13) -> rule6)) -> rule2)) -> rule1))]