Anne is big. Anne is rough. Anne is not young. Bob is not green. Bob is rough. Bob is white. Bob is young. Gary is big. Gary is red. Gary is white. If Bob is smart and Bob is red then Bob is young. All big things are rough. All big things are rough. If something is smart and not green then it is red. If something is young and not big then it is smart. If Bob is white and Bob is rough then Bob is red.
Bob is not young.
@0: Anne is big.[(triple1)] Anne is not young.[(triple3)] Anne is rough.[(triple2 OR ((triple1) -> rule2) OR ((triple1) -> rule3))] Bob is not green.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Gary is big.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Bob is red.[(((triple6 triple5) -> rule6))] Gary is rough.[(((triple8) -> rule2) OR ((triple8) -> rule3))]