Bob is big. Bob is furry. Bob is kind. Bob is red. Gary is furry. Gary is not green. Gary is kind. Gary is red. Gary is rough. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is not rough. Harry is young. If something is kind and rough then it is not young. All green, big things are not young. If Harry is big then Harry is green. If something is green then it is furry. Rough things are not green. If something is young and not kind then it is not rough.
Bob is big.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple7)] Gary is not green.[(triple6 OR ((triple9) -> rule5))] Gary is red.[(triple8)] Gary is rough.[(triple9)] Harry is furry.[(triple10 OR ((triple11) -> rule4))] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is not rough.[(triple14)] Harry is red.[(triple13)] Harry is young.[(triple15)] @1: Gary is not young.[(((triple7 triple9) -> rule1))]