Anne is green. Anne is quiet. Anne is rough. Anne is young. Bob is big. Bob is blue. Bob is kind. Bob is young. Gary is not big. Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is not young. If Gary is big and Gary is not green then Gary is quiet. Blue things are rough. If something is young and green then it is rough. Green, young things are rough. If Anne is rough then Anne is quiet. If something is young and not kind then it is blue. Green things are not big. If Anne is not blue and Anne is not green then Anne is big.
Bob is quiet.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule5) OR ((((triple1 triple4) -> rule4)) -> rule5) OR ((((triple4 triple1) -> rule3)) -> rule5))] Anne is rough.[(triple3 OR ((triple1 triple4) -> rule4) OR ((triple4 triple1) -> rule3))] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is kind.[(triple7)] Bob is young.[(triple8)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is not big.[(triple9 OR ((triple11) -> rule7))] Gary is not young.[(triple15)] Gary is quiet.[(triple13)] Gary is rough.[(triple14 OR ((triple10) -> rule2))] @1: Anne is not big.[(((triple1) -> rule7))] Bob is rough.[(((triple6) -> rule2))]