Fiona is big. Fiona is green. Fiona is white. Harry is furry. Harry is not rough. Harry is smart. Harry is white. Big, furry things are green. All big things are green. All white things are furry. If Fiona is furry then Fiona is not round. If Fiona is green and Fiona is round then Fiona is not big. White things are smart. If Fiona is round and Fiona is green then Fiona is rough. If Fiona is big then Fiona is smart.
Harry is big.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2 OR ((triple1) -> rule2) OR ((triple1 ((triple3) -> rule3)) -> rule1))] Fiona is white.[(triple3)] Harry is furry.[(triple4 OR ((triple7) -> rule3))] Harry is not rough.[(triple5)] Harry is smart.[(triple6 OR ((triple7) -> rule6))] Harry is white.[(triple7)] @1: Fiona is furry.[(((triple3) -> rule3))] Fiona is smart.[(((triple1) -> rule8) OR ((triple3) -> rule6))] @2: Fiona is not round.[(((((triple3) -> rule3)) -> rule4))]