Dave is blue. Dave is young. Erin is nice. Fiona is red. Gary is blue. Gary is white. Gary is young. If something is young then it is green. Blue, green things are nice. Blue, young things are white. All nice things are furry. If something is red and green then it is nice. If something is red then it is blue.
Dave is not blue.
@0: Dave is blue.[(triple1)] Dave is young.[(triple2)] Erin is nice.[(triple3)] Fiona is red.[(triple4)] Gary is blue.[(triple5)] Gary is white.[(triple6 OR ((triple5 triple7) -> rule3))] Gary is young.[(triple7)] @1: Dave is green.[(((triple2) -> rule1))] Dave is white.[(((triple1 triple2) -> rule3))] Erin is furry.[(((triple3) -> rule4))] Fiona is blue.[(((triple4) -> rule6))] Gary is green.[(((triple7) -> rule1))] @2: Dave is nice.[(((triple1 ((triple2) -> rule1)) -> rule2))] Gary is nice.[(((triple5 ((triple7) -> rule1)) -> rule2))] @3: Dave is furry.[(((((triple1 ((triple2) -> rule1)) -> rule2)) -> rule4))] Gary is furry.[(((((triple5 ((triple7) -> rule1)) -> rule2)) -> rule4))]