Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Nice, quiet people are round. If Fiona is furry then Fiona is quiet. All kind people are quiet.
Fiona is furry.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5 OR ((triple2) -> rule2) OR ((triple3) -> rule3))] Fiona is red.[(triple6)] Fiona is round.[(triple7 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple2) -> rule2)) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1))]