Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is young. If Gary is kind and Gary is quiet then Gary is smart. If Gary is quiet and Gary is rough then Gary is furry. All kind people are smart.
Gary is furry.
@0: Gary is furry.[(triple1 OR ((triple3 triple5) -> rule2))] Gary is kind.[(triple2)] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6 OR ((triple2) -> rule3) OR ((triple2 triple3) -> rule1))] Gary is young.[(triple7)]