Dave is green. Fiona is white. Gary is big. Blue people are white. All cold people are red. Big, blue people are white. Big people are cold. If someone is round then they are cold. Cold people are blue. If Fiona is big and Fiona is red then Fiona is round. All white people are blue.
Fiona is round.
@0: Dave is green.[(triple1)] Fiona is white.[(triple2)] Gary is big.[(triple3)] @1: Fiona is blue.[(((triple2) -> rule8))] Gary is cold.[(((triple3) -> rule4))] @2: Gary is blue.[(((((triple3) -> rule4)) -> rule6))] Gary is red.[(((((triple3) -> rule4)) -> rule2))] @3: Gary is white.[(((((((triple3) -> rule4)) -> rule6)) -> rule1) OR ((triple3 ((((triple3) -> rule4)) -> rule6)) -> rule3))]