Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is not quiet. Gary is round. Gary is young. Big, kind people are cold. If someone is big and not kind then they are cold. If someone is young and not kind then they are cold. All quiet people are cold. Kind people are cold. If someone is furry and not big then they are not cold. If someone is cold and not quiet then they are young. All round, kind people are furry.
Gary is young.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2 OR ((triple4) -> rule5) OR ((triple1 triple4) -> rule1))] Gary is furry.[(triple3 OR ((triple6 triple4) -> rule8))] Gary is kind.[(triple4)] Gary is not quiet.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((triple2 triple5) -> rule7) OR ((((triple4) -> rule5) triple5) -> rule7) OR ((((triple1 triple4) -> rule1) triple5) -> rule7))]