Anne is big. Anne is furry. Anne is red. Anne is young. Gary is young. Harry is red. Harry is rough. Young things are red. Cold, blue things are rough. Red things are furry. If Anne is red then Anne is cold. If something is big and cold then it is red. If something is blue and rough then it is cold. Young things are cold. Young things are blue.
Gary is young.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple1 ((triple4) -> rule7)) -> rule5)) -> rule3))] Anne is red.[(triple3 OR ((triple4) -> rule1) OR ((triple1 ((triple4) -> rule7)) -> rule5))] Anne is young.[(triple4)] Gary is young.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Anne is blue.[(((triple4) -> rule8))] Anne is cold.[(((triple3) -> rule4) OR ((triple4) -> rule7) OR ((((triple4) -> rule1)) -> rule4))] Gary is blue.[(((triple5) -> rule8))] Gary is cold.[(((triple5) -> rule7))] Gary is red.[(((triple5) -> rule1))] Harry is furry.[(((triple6) -> rule3))] @2: Anne is rough.[(((((triple3) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((triple4) -> rule7) ((triple4) -> rule8)) -> rule2) OR ((((((triple4) -> rule1)) -> rule4) ((triple4) -> rule8)) -> rule2))] Gary is furry.[(((((triple5) -> rule1)) -> rule3))] Gary is rough.[(((((triple5) -> rule7) ((triple5) -> rule8)) -> rule2))]