Bob is big. Bob is blue. Bob is kind. Bob is red. Bob is rough. Bob is smart. Erin is kind. Erin is rough. Gary is blue. Gary is kind. Gary is red. Gary is rough. If Gary is smart then Gary is red. All rough, blue things are smart. Big, smart things are blue. If Erin is kind then Erin is green. If Bob is blue and Bob is smart then Bob is rough. All green, blue things are kind.
Gary is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1 triple6) -> rule3))] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple2 triple6) -> rule5) OR ((((triple1 triple6) -> rule3) triple6) -> rule5))] Bob is smart.[(triple6 OR ((triple5 triple2) -> rule2))] Erin is kind.[(triple7)] Erin is rough.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11 OR ((((triple12 triple9) -> rule2)) -> rule1))] Gary is rough.[(triple12)] @1: Erin is green.[(((triple7) -> rule4))] Gary is smart.[(((triple12 triple9) -> rule2))]