Anne is blue. Anne is red. Anne is rough. Anne is young. Fiona is blue. Fiona is red. Fiona is rough. Gary is nice. Gary is red. Gary is white. If someone is big then they are young. If Fiona is red then Fiona is white. All red people are big.
Fiona is not white.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4 OR ((((triple2) -> rule3)) -> rule1))] Fiona is blue.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Gary is nice.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Anne is big.[(((triple2) -> rule3))] Fiona is big.[(((triple6) -> rule3))] Fiona is white.[(((triple6) -> rule2))] Gary is big.[(((triple9) -> rule3))] @2: Fiona is young.[(((((triple6) -> rule3)) -> rule1))] Gary is young.[(((((triple9) -> rule3)) -> rule1))]