Fiona is big. Fiona is furry. Fiona is quiet. All furry things are nice. If something is quiet and furry then it is rough. If Fiona is big and Fiona is white then Fiona is quiet. If something is white then it is smart. If Fiona is nice then Fiona is big. If Fiona is rough then Fiona is white.
Fiona is not smart.
@0: Fiona is big.[(triple1 OR ((((triple2) -> rule1)) -> rule5))] Fiona is furry.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is nice.[(((triple2) -> rule1))] Fiona is rough.[(((triple3 triple2) -> rule2))] @2: Fiona is white.[(((((triple3 triple2) -> rule2)) -> rule6))] @3: Fiona is smart.[(((((((triple3 triple2) -> rule2)) -> rule6)) -> rule4))]