Bob is big. Bob is rough. Bob is white. Charlie is big. Charlie is smart. Gary is big. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Harry is big. Harry is green. Harry is quiet. Harry is rough. Harry is white. All quiet people are green. All smart people are green. If someone is green then they are quiet.
Charlie is not quiet.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3)] Charlie is big.[(triple4)] Charlie is smart.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7 OR ((triple11) -> rule2) OR ((triple9) -> rule1))] Gary is nice.[(triple8)] Gary is quiet.[(triple9 OR ((triple7) -> rule3) OR ((((triple11) -> rule2)) -> rule3))] Gary is rough.[(triple10)] Gary is smart.[(triple11)] Harry is big.[(triple12)] Harry is green.[(triple13 OR ((triple14) -> rule1))] Harry is quiet.[(triple14 OR ((triple13) -> rule3))] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Charlie is green.[(((triple5) -> rule2))] @2: Charlie is quiet.[(((((triple5) -> rule2)) -> rule3))]