Fiona is blue. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. If Fiona is kind then Fiona is blue. All kind people are round. If Fiona is young then Fiona is kind.
Fiona is not round.
@0: Fiona is blue.[(triple1 OR ((triple3) -> rule1) OR ((((triple7) -> rule3)) -> rule1))] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple7) -> rule3))] Fiona is rough.[(triple4)] Fiona is round.[(triple5 OR ((triple3) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] Fiona is white.[(triple6)] Fiona is young.[(triple7)]