Gary is rough. Harry is smart. All kind, blue things are big. All smart things are quiet. Quiet things are blue. All quiet things are blue. Big things are red. If Harry is kind then Harry is smart. All quiet, smart things are red. If something is blue then it is kind.
Harry is red.
@0: Gary is rough.[(triple1)] Harry is smart.[(triple2)] @1: Harry is quiet.[(((triple2) -> rule2))] @2: Harry is blue.[(((((triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule2)) -> rule4))] Harry is red.[(((((triple2) -> rule2) triple2) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule3)) -> rule8) ((((triple2) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((((((((triple2) -> rule2)) -> rule3)) -> rule8) ((((triple2) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((((triple2) -> rule2)) -> rule4)) -> rule8) ((((triple2) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((((((((triple2) -> rule2)) -> rule4)) -> rule8) ((((triple2) -> rule2)) -> rule4)) -> rule1)) -> rule5))] @3: Harry is kind.[(((((((triple2) -> rule2)) -> rule3)) -> rule8) OR ((((((triple2) -> rule2)) -> rule4)) -> rule8))] @4: Harry is big.[(((((((((triple2) -> rule2)) -> rule3)) -> rule8) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2)) -> rule3)) -> rule8) ((((triple2) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule8) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule8) ((((triple2) -> rule2)) -> rule4)) -> rule1))]