Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is white. If something is smart and cold then it is big. All nice things are big. All smart, big things are cold. If something is big then it is smart. All quiet things are round. Big things are round. If Harry is big then Harry is cold. If Harry is nice then Harry is quiet.
Harry is not cold.
@0: Harry is big.[(triple1 OR ((triple3) -> rule2) OR ((triple6 triple2) -> rule1))] Harry is cold.[(triple2 OR ((triple1) -> rule7) OR ((triple6 triple1) -> rule3) OR ((((triple3) -> rule2)) -> rule7) OR ((triple6 ((triple3) -> rule2)) -> rule3) OR ((((triple1) -> rule4) triple1) -> rule3) OR ((((triple1) -> rule4) ((triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) triple1) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3))] Harry is nice.[(triple3)] Harry is quiet.[(triple4 OR ((triple3) -> rule8))] Harry is round.[(triple5 OR ((triple1) -> rule6) OR ((triple4) -> rule5) OR ((((triple3) -> rule2)) -> rule6) OR ((((triple3) -> rule8)) -> rule5) OR ((((triple6 triple2) -> rule1)) -> rule6))] Harry is smart.[(triple6 OR ((triple1) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] Harry is white.[(triple7)]