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