Dave is red. Fiona is nice. Fiona is round. All nice, kind things are furry. All nice things are not furry. Kind things are not furry. If something is round and not furry then it is white. All nice, white things are not blue. White things are not blue. All white things are red. If something is blue then it is red.
Dave is not round.
@0: Dave is red.[(triple1)] Fiona is nice.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is not furry.[(((triple2) -> rule2))] @2: Fiona is white.[(((triple3 ((triple2) -> rule2)) -> rule4))] @3: Fiona is not blue.[(((((triple3 ((triple2) -> rule2)) -> rule4)) -> rule6) OR ((triple2 ((triple3 ((triple2) -> rule2)) -> rule4)) -> rule5))] Fiona is red.[(((((triple3 ((triple2) -> rule2)) -> rule4)) -> rule7))]