Bob is blue. Bob is furry. Charlie is blue. Charlie is furry. Charlie is rough. Charlie is smart. Charlie is young. Erin is rough. Erin is white. Gary is furry. Gary is rough. Gary is young. All blue, young people are rough. If someone is young and rough then they are furry. If someone is smart then they are white.
Bob is not rough.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple3 triple7) -> rule1)) -> rule2))] Charlie is rough.[(triple5 OR ((triple3 triple7) -> rule1))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Gary is furry.[(triple10 OR ((triple12 triple11) -> rule2))] Gary is rough.[(triple11)] Gary is young.[(triple12)] @1: Charlie is white.[(((triple6) -> rule3))]