Dave is blue. Dave is nice. Dave is young. Erin is big. Erin is blue. Gary is nice. Gary is young. Harry is big. Harry is nice. Harry is young. All round, white things are blue. If Gary is white and Gary is young then Gary is big. If something is big then it is white. Round things are nice. All young things are red. If Dave is nice and Dave is big then Dave is blue.
Gary is nice.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Gary is nice.[(triple6)] Gary is young.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is young.[(triple10)] @1: Dave is red.[(((triple3) -> rule5))] Erin is white.[(((triple4) -> rule3))] Gary is red.[(((triple7) -> rule5))] Harry is red.[(((triple10) -> rule5))] Harry is white.[(((triple8) -> rule3))]