Anne is blue. Anne is young. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is smart. Gary is red. Gary is young. Harry is rough. Harry is young. All young, smart things are red. If Anne is young then Anne is rough. All rough things are smart.
Fiona is not red.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6 OR ((triple5) -> rule3))] Gary is red.[(triple7)] Gary is young.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Anne is rough.[(((triple2) -> rule2))] Harry is smart.[(((triple9) -> rule3))] @2: Anne is smart.[(((((triple2) -> rule2)) -> rule3))] Harry is red.[(((triple10 ((triple9) -> rule3)) -> rule1))] @3: Anne is red.[(((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule1))]