Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is white. Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is white. White people are quiet. If Gary is red and Gary is kind then Gary is big. If Harry is rough and Harry is big then Harry is quiet. All red, big people are quiet. Quiet people are white. All red people are green.
Gary is not rough.
@0: Gary is big.[(triple1 OR ((triple5 triple3) -> rule2))] Gary is green.[(triple2 OR ((triple5) -> rule6))] Gary is kind.[(triple3)] Gary is quiet.[(triple4 OR ((triple7) -> rule1) OR ((triple5 triple1) -> rule4) OR ((triple5 ((triple5 triple3) -> rule2)) -> rule4))] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7 OR ((triple4) -> rule5) OR ((((triple5 triple1) -> rule4)) -> rule5) OR ((((triple5 ((triple5 triple3) -> rule2)) -> rule4)) -> rule5))] Harry is big.[(triple8)] Harry is green.[(triple9 OR ((triple12) -> rule6))] Harry is kind.[(triple10)] Harry is quiet.[(triple11 OR ((triple14) -> rule1) OR ((triple12 triple8) -> rule4) OR ((triple13 triple8) -> rule3))] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14 OR ((triple11) -> rule5) OR ((((triple12 triple8) -> rule4)) -> rule5) OR ((((triple13 triple8) -> rule3)) -> rule5))]