Anne is rough. Fiona is big. Gary is blue. Gary is red. Harry is cold. Harry is rough. Harry is smart. All red things are blue. If something is rough and red then it is smart. All nice things are red. If something is rough then it is smart. If Harry is blue and Harry is red then Harry is cold. If Anne is blue then Anne is rough. Blue things are big. If something is rough then it is nice.
Gary is blue.
@0: Anne is rough.[(triple1)] Fiona is big.[(triple2)] Gary is blue.[(triple3 OR ((triple4) -> rule1))] Gary is red.[(triple4)] Harry is cold.[(triple5 OR ((((((((triple6) -> rule8)) -> rule3)) -> rule1) ((((triple6) -> rule8)) -> rule3)) -> rule5))] Harry is rough.[(triple6)] Harry is smart.[(triple7 OR ((triple6) -> rule4) OR ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule2))] @1: Anne is nice.[(((triple1) -> rule8))] Anne is smart.[(((triple1) -> rule4) OR ((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule2))] Gary is big.[(((triple3) -> rule7) OR ((((triple4) -> rule1)) -> rule7))] Harry is nice.[(((triple6) -> rule8))] @2: Anne is red.[(((((triple1) -> rule8)) -> rule3))] Harry is red.[(((((triple6) -> rule8)) -> rule3))] @3: Anne is blue.[(((((((triple1) -> rule8)) -> rule3)) -> rule1))] Harry is blue.[(((((((triple6) -> rule8)) -> rule3)) -> rule1))] @4: Anne is big.[(((((((((triple1) -> rule8)) -> rule3)) -> rule1)) -> rule7))] Harry is big.[(((((((((triple6) -> rule8)) -> rule3)) -> rule1)) -> rule7))]