Dave is green. Fiona is nice. If something is round then it is blue. If something is green and blue then it is nice. All quiet things are nice. Nice things are white. Green, nice things are blue. All nice things are white. All green things are blue. If something is quiet and nice then it is green.
Dave is blue.
@0: Dave is green.[(triple1)] Fiona is nice.[(triple2)] @1: Dave is blue.[(((triple1) -> rule7))] Fiona is white.[(((triple2) -> rule4) OR ((triple2) -> rule6))] @2: Dave is nice.[(((triple1 ((triple1) -> rule7)) -> rule2))] @3: Dave is white.[(((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule4) OR ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6))]