Fiona is blue. Fiona is furry. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. If Fiona is blue then Fiona is white. Blue things are smart. If something is furry and white then it is blue. If Fiona is rough then Fiona is smart. If something is round and white then it is red. All blue, round things are smart.
Fiona is white.
@0: Fiona is blue.[(triple1 OR ((triple2 triple7) -> rule3))] Fiona is furry.[(triple2)] Fiona is red.[(triple3 OR ((triple5 triple7) -> rule5) OR ((triple5 ((triple1) -> rule1)) -> rule5))] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((triple1) -> rule2) OR ((triple4) -> rule4) OR ((triple1 triple5) -> rule6) OR ((((triple2 triple7) -> rule3)) -> rule2) OR ((((triple2 triple7) -> rule3) triple5) -> rule6))] Fiona is white.[(triple7 OR ((triple1) -> rule1))]