Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Erin is quiet. Gary is blue. Gary is green. Gary is quiet. Gary is young. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is rough. If Harry is rough and Harry is not blue then Harry is not nice. If Harry is blue then Harry is quiet. If Erin is nice then Erin is blue. If something is quiet and not blue then it is green. If something is nice and not green then it is young. If something is big then it is young. Young things are big. If Dave is young then Dave is nice.
Gary is rough.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Erin is quiet.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is rough.[(triple15)] @1: Gary is big.[(((triple10) -> rule7))] Harry is quiet.[(((triple12) -> rule2))] Harry is young.[(((triple11) -> rule6))]