Bob is big. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is smart. Charlie is big. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is young. Gary is furry. Gary is red. Gary is rough. Gary is young. If someone is red then they are kind. All smart people are kind. All red people are big.
Gary is furry.
@0: Bob is big.[(triple1 OR ((triple4) -> rule3))] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple4) -> rule1) OR ((triple6) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Charlie is big.[(triple7)] Charlie is furry.[(triple8)] Charlie is kind.[(triple9 OR ((triple10) -> rule2))] Charlie is smart.[(triple10)] Charlie is young.[(triple11)] Gary is furry.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is young.[(triple15)] @1: Gary is big.[(((triple13) -> rule3))] Gary is kind.[(((triple13) -> rule1))]