Fiona is green. Fiona is rough. Harry is big. Rough things are big. If something is furry then it is nice. Green, white things are blue. Big, green things are furry. Furry things are big. All rough, nice things are furry. All green things are big. If something is white and furry then it is nice.
Harry is white.
@0: Fiona is green.[(triple1)] Fiona is rough.[(triple2)] Harry is big.[(triple3)] @1: Fiona is big.[(((triple1) -> rule7) OR ((triple2) -> rule1))] @2: Fiona is furry.[(((((triple1) -> rule7) triple1) -> rule4) OR ((((triple2) -> rule1) triple1) -> rule4))] @3: Fiona is nice.[(((((((triple1) -> rule7) triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule1) triple1) -> rule4)) -> rule2))]