Fiona is furry. Fiona is not kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. Fiona is young. If someone is nice and young then they are red. If someone is kind and not round then they are red. If Fiona is not round then Fiona is not young. Round, red people are furry. If Fiona is kind and Fiona is not young then Fiona is not red. If Fiona is not red then Fiona is furry. If someone is nice and not furry then they are white. Nice people are white.
Fiona is kind.
@0: Fiona is furry.[(triple1 OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple3 triple7) -> rule1)) -> rule4))] Fiona is nice.[(triple3)] Fiona is not kind.[(triple2)] Fiona is red.[(triple4 OR ((triple3 triple7) -> rule1))] Fiona is round.[(triple5)] Fiona is white.[(triple6 OR ((triple3) -> rule8))] Fiona is young.[(triple7)]