Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is red. Dave is rough. Gary is big. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is young. If Gary is quiet and Gary is blue then Gary is green. If something is red then it is blue. If something is blue and quiet then it is red.
Gary is young.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple5) -> rule2))] Dave is green.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple2 triple4) -> rule3))] Dave is rough.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple8 OR ((triple9 ((triple10) -> rule2)) -> rule1))] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is young.[(triple12)] @1: Gary is blue.[(((triple10) -> rule2))]