Fiona is furry. Fiona is red. Fiona is young. If Fiona is quiet then Fiona is nice. Nice people are red. All cold, nice people are red. If someone is quiet then they are blue. If Fiona is red and Fiona is furry then Fiona is quiet. All nice people are cold.
Fiona is not young.
@0: Fiona is furry.[(triple1)] Fiona is red.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is quiet.[(((triple2 triple1) -> rule5))] @2: Fiona is blue.[(((((triple2 triple1) -> rule5)) -> rule4))] Fiona is nice.[(((((triple2 triple1) -> rule5)) -> rule1))] @3: Fiona is cold.[(((((((triple2 triple1) -> rule5)) -> rule1)) -> rule6))]