Dave is smart. Fiona is big. Harry is green. Rough things are not big. If something is smart then it is furry. Smart things are furry. All smart, green things are rough. All big things are smart. If something is big and nice then it is smart. All furry things are white. If something is smart and rough then it is green.
Fiona is not big.
@0: Dave is smart.[(triple1)] Fiona is big.[(triple2)] Harry is green.[(triple3)] @1: Dave is furry.[(((triple1) -> rule2) OR ((triple1) -> rule3))] Fiona is smart.[(((triple2) -> rule5))] @2: Dave is white.[(((((triple1) -> rule2)) -> rule7) OR ((((triple1) -> rule3)) -> rule7))] Fiona is furry.[(((((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule3))] @3: Fiona is white.[(((((((triple2) -> rule5)) -> rule2)) -> rule7) OR ((((((triple2) -> rule5)) -> rule3)) -> rule7))]