Erin is big. Erin is furry. Fiona is nice. If Fiona is big and Fiona is smart then Fiona is nice. All nice people are big. Big, smart people are nice. All furry people are smart. Smart people are big. If someone is furry and nice then they are white. If someone is blue and white then they are big. Cold, big people are furry.
Fiona is not smart.
@0: Erin is big.[(triple1 OR ((((triple2) -> rule4)) -> rule5))] Erin is furry.[(triple2)] Fiona is nice.[(triple3)] @1: Erin is smart.[(((triple2) -> rule4))] Fiona is big.[(((triple3) -> rule2))] @2: Erin is nice.[(((triple1 ((triple2) -> rule4)) -> rule3) OR ((((((triple2) -> rule4)) -> rule5) ((triple2) -> rule4)) -> rule3))] @3: Erin is white.[(((triple2 ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule6) OR ((triple2 ((((((triple2) -> rule4)) -> rule5) ((triple2) -> rule4)) -> rule3)) -> rule6))]