Charlie is blue. Dave is blue. Fiona is furry. Fiona is green. Fiona is smart. Gary is big. Gary is white. All white, smart things are blue. If something is blue then it is furry. If Gary is big and Gary is red then Gary is blue. Big, white things are furry. Furry things are red. Green, smart things are furry.
Charlie is white.
@0: Charlie is blue.[(triple1)] Dave is blue.[(triple2)] Fiona is furry.[(triple3 OR ((triple4 triple5) -> rule6))] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Gary is big.[(triple6)] Gary is white.[(triple7)] @1: Charlie is furry.[(((triple1) -> rule2))] Dave is furry.[(((triple2) -> rule2))] Fiona is red.[(((triple3) -> rule5) OR ((((triple4 triple5) -> rule6)) -> rule5))] Gary is furry.[(((triple6 triple7) -> rule4))] @2: Charlie is red.[(((((triple1) -> rule2)) -> rule5))] Dave is red.[(((((triple2) -> rule2)) -> rule5))] Gary is red.[(((((triple6 triple7) -> rule4)) -> rule5))] @3: Gary is blue.[(((triple6 ((((triple6 triple7) -> rule4)) -> rule5)) -> rule3))]