Dave is green. Dave is nice. Dave is red. Erin is blue. Erin is not green. Erin is quiet. Fiona is blue. Fiona is nice. Fiona is red. Gary is not nice. Gary is quiet. Gary is young. If Dave is quiet and Dave is red then Dave is young. Green, young things are not red. If Fiona is big then Fiona is not quiet. If Erin is young and Erin is nice then Erin is big. All green things are not young. Young things are not green.
Erin is not big.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is red.[(triple3)] Erin is blue.[(triple4)] Erin is not green.[(triple5)] Erin is quiet.[(triple6)] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Gary is not nice.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] @1: Dave is not young.[(((triple1) -> rule5))] Gary is not green.[(((triple12) -> rule6))]