Bob is blue. Bob is red. Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is not smart. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is not red. Gary is not smart. Smart, red things are rough. Furry things are rough. Big, smart things are rough. All red things are blue. If Gary is rough then Gary is big. Smart things are kind.
Bob is red.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule4))] Bob is red.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4 OR ((triple7) -> rule4))] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is not smart.[(triple9)] Charlie is red.[(triple7)] Charlie is rough.[(triple8 OR ((triple5) -> rule2))] Gary is big.[(triple10 OR ((((triple12) -> rule2)) -> rule5))] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is not red.[(triple14)] Gary is not smart.[(triple15)] @1: Gary is rough.[(((triple12) -> rule2))]