Bob is big. Bob is blue. Bob is smart. Charlie is big. Charlie is green. Charlie is red. Charlie is smart. Dave is blue. Dave is green. Dave is quiet. Dave is red. Dave is not rough. Dave is smart. Gary is quiet. Gary is smart. Rough things are not green. If Dave is blue and Dave is green then Dave is smart. Smart, rough things are quiet. If something is green and not quiet then it is red. Smart things are big. If something is quiet and red then it is big.
Gary is green.
@0: Bob is big.[(triple1 OR ((triple3) -> rule5))] Bob is blue.[(triple2)] Bob is smart.[(triple3)] Charlie is big.[(triple4 OR ((triple7) -> rule5))] Charlie is green.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is not rough.[(triple12)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is smart.[(triple13 OR ((triple8 triple9) -> rule2))] Gary is quiet.[(triple14)] Gary is smart.[(triple15)] @1: Dave is big.[(((triple13) -> rule5) OR ((triple10 triple11) -> rule6) OR ((((triple8 triple9) -> rule2)) -> rule5))] Gary is big.[(((triple15) -> rule5))]