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