Anne is big. Anne is cold. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is young. Gary is cold. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is young. Harry is big. Harry is cold. All cold, smart things are big. If something is young then it is big. If something is cold then it is round. All red, round things are big. Round things are red. All red, big things are young.
Harry is smart.
@0: Anne is big.[(triple1 OR ((triple7) -> rule2) OR ((triple2 triple6) -> rule1) OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple2) -> rule3)) -> rule4) OR ((((triple5) -> rule5) triple5) -> rule4) OR ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3)) -> rule5) triple5) -> rule4) OR ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4))] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple5) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] Anne is round.[(triple5 OR ((triple2) -> rule3))] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple2 triple6) -> rule1)) -> rule6) OR ((triple4 ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5) triple1) -> rule6) OR ((((triple5) -> rule5) ((triple2 triple6) -> rule1)) -> rule6) OR ((((triple5) -> rule5) ((triple4 triple5) -> rule4)) -> rule6) OR ((triple4 ((triple4 ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((triple4 ((((triple5) -> rule5) triple5) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) triple1) -> rule6) OR ((triple4 ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((triple4 ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((triple2 triple6) -> rule1)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((triple4 ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((((triple5) -> rule5) triple5) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((triple4 ((((((triple2) -> rule3)) -> rule5) triple5) -> rule4)) -> rule6) OR ((triple4 ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((((triple2) -> rule3)) -> rule5) triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((((((triple2) -> rule3)) -> rule5) triple5) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6))] Gary is cold.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple11) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] Gary is round.[(triple11 OR ((triple8) -> rule3))] Gary is smart.[(triple12)] Gary is young.[(triple13 OR ((triple10 ((triple10 triple11) -> rule4)) -> rule6) OR ((triple10 ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple11) -> rule5) ((triple10 triple11) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((triple8 triple12) -> rule1)) -> rule6) OR ((triple10 ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((triple10 ((((triple11) -> rule5) triple11) -> rule4)) -> rule6) OR ((triple10 ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((((triple11) -> rule5) triple11) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((triple10 triple11) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple11) -> rule5) ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((((triple11) -> rule5) triple11) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((triple10 ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4)) -> rule6) OR ((triple10 ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6))] Harry is big.[(triple14 OR ((((((triple15) -> rule3)) -> rule5) ((triple15) -> rule3)) -> rule4))] Harry is cold.[(triple15)] @1: Gary is big.[(((triple13) -> rule2) OR ((triple10 triple11) -> rule4) OR ((triple8 triple12) -> rule1) OR ((triple10 ((triple8) -> rule3)) -> rule4) OR ((((triple11) -> rule5) triple11) -> rule4) OR ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4))] Harry is round.[(((triple15) -> rule3))] @2: Harry is red.[(((((triple15) -> rule3)) -> rule5))] @3: Harry is young.[(((((((triple15) -> rule3)) -> rule5) triple14) -> rule6) OR ((((((triple15) -> rule3)) -> rule5) ((((((triple15) -> rule3)) -> rule5) ((triple15) -> rule3)) -> rule4)) -> rule6))]