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