Bob is not big. Bob is furry. Bob is quiet. Bob is rough. Bob is smart. Bob is not young. Gary is not big. Gary is not furry. Gary is quiet. Gary is young. If Bob is green then Bob is furry. If someone is smart then they are rough. All green people are big. Green people are big. If Gary is quiet then Gary is rough. If Gary is green then Gary is not furry. If Bob is not furry then Bob is rough. Rough, green people are not young.
Gary is smart.
@0: Bob is furry.[(triple2)] Bob is not big.[(triple1)] Bob is not young.[(triple6)] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple5) -> rule2))] Bob is smart.[(triple5)] Gary is not big.[(triple7)] Gary is not furry.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] @1: Gary is rough.[(((triple9) -> rule5))]