Bob is big. Bob is not green. Bob is kind. Bob is not rough. Bob is round. Bob is smart. Bob is young. Gary is big. Gary is green. Gary is not kind. Gary is rough. Gary is round. Gary is smart. Gary is young. If something is big then it is young. If Gary is rough and Gary is smart then Gary is not kind. If something is kind then it is smart. If Gary is smart and Gary is not young then Gary is rough. If something is young and not smart then it is green. If something is kind and not young then it is green. If something is young and not smart then it is round. If something is smart and not green then it is round.
Gary is not green.
@0: Bob is big.[(triple1)] Bob is kind.[(triple3)] Bob is not green.[(triple2)] Bob is not rough.[(triple4)] Bob is round.[(triple5 OR ((triple6 triple2) -> rule8) OR ((((triple3) -> rule3) triple2) -> rule8))] Bob is smart.[(triple6 OR ((triple3) -> rule3))] Bob is young.[(triple7 OR ((triple1) -> rule1))] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is not kind.[(triple10 OR ((triple11 triple13) -> rule2))] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is young.[(triple14 OR ((triple8) -> rule1))]