Fiona is big. Fiona is cold. Fiona is white. Big people are cold. If someone is rough then they are blue. If someone is rough then they are nice. If Fiona is white then Fiona is blue. All blue, white people are nice. All white, quiet people are blue. Blue people are white. If someone is nice and cold then they are rough.
Fiona is not cold.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2 OR ((triple1) -> rule1))] Fiona is white.[(triple3)] @1: Fiona is blue.[(((triple3) -> rule4))] @2: Fiona is nice.[(((((triple3) -> rule4) triple3) -> rule5))] @3: Fiona is rough.[(((((((triple3) -> rule4) triple3) -> rule5) triple2) -> rule8) OR ((((((triple3) -> rule4) triple3) -> rule5) ((triple1) -> rule1)) -> rule8))]