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