Anne is cold. Bob is blue. Bob is round. Gary is cold. Gary is rough. Gary is round. Gary is young. Harry is blue. Harry is red. Harry is rough. Harry is smart. Harry is young. Rough people are blue. All cold people are rough. If Anne is blue and Anne is red then Anne is rough. If Gary is smart then Gary is young. If someone is blue and cold then they are young. If someone is rough and smart then they are cold.
Anne is rough.
@0: Anne is cold.[(triple1)] Bob is blue.[(triple2)] Bob is round.[(triple3)] Gary is cold.[(triple4)] Gary is rough.[(triple5 OR ((triple4) -> rule2))] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((((triple5) -> rule1) triple4) -> rule5) OR ((((((triple4) -> rule2)) -> rule1) triple4) -> rule5))] Harry is blue.[(triple8 OR ((triple10) -> rule1))] Harry is red.[(triple9)] Harry is rough.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12 OR ((triple8 ((triple10 triple11) -> rule6)) -> rule5) OR ((((triple10) -> rule1) ((triple10 triple11) -> rule6)) -> rule5))] @1: Anne is rough.[(((triple1) -> rule2))] Gary is blue.[(((triple5) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Harry is cold.[(((triple10 triple11) -> rule6))] @2: Anne is blue.[(((((triple1) -> rule2)) -> rule1))] @3: Anne is young.[(((((((triple1) -> rule2)) -> rule1) triple1) -> rule5))]