Gary is big. Gary is furry. Gary is kind. Gary is red. Gary is rough. Gary is round. Gary is smart. If someone is kind then they are red. If someone is red then they are furry. Big people are furry. Big, red people are rough. If someone is round then they are smart. All rough, round people are smart. All round people are rough. Red people are kind.
Gary is red.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2 OR ((triple1) -> rule3) OR ((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Gary is kind.[(triple3 OR ((triple4) -> rule8))] Gary is red.[(triple4 OR ((triple3) -> rule1))] Gary is rough.[(triple5 OR ((triple6) -> rule7) OR ((triple1 triple4) -> rule4) OR ((triple1 ((triple3) -> rule1)) -> rule4))] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((triple6) -> rule5) OR ((triple5 triple6) -> rule6) OR ((((triple6) -> rule7) triple6) -> rule6) OR ((((triple1 triple4) -> rule4) triple6) -> rule6) OR ((((triple1 ((triple3) -> rule1)) -> rule4) triple6) -> rule6))]