Fiona is rough. Gary is cold. Harry is rough. All rough people are blue. If Harry is cold and Harry is young then Harry is red. If someone is young then they are not red. Blue people are young. If someone is red and rough then they are round. All red, blue people are round.
Fiona is not red.
@0: Fiona is rough.[(triple1)] Gary is cold.[(triple2)] Harry is rough.[(triple3)] @1: Fiona is blue.[(((triple1) -> rule1))] Harry is blue.[(((triple3) -> rule1))] @2: Fiona is young.[(((((triple1) -> rule1)) -> rule4))] Harry is young.[(((((triple3) -> rule1)) -> rule4))] @3: Fiona is not red.[(((((((triple1) -> rule1)) -> rule4)) -> rule3))] Harry is not red.[(((((((triple3) -> rule1)) -> rule4)) -> rule3))]