Anne is big. Anne is round. Charlie is blue. Gary is big. Gary is furry. Gary is kind. Gary is round. Gary is white. Gary is young. Harry is big. All kind, white people are big. Kind, white people are furry. If someone is white and young then they are furry.
Gary is kind.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Charlie is blue.[(triple3)] Gary is big.[(triple4 OR ((triple6 triple8) -> rule1))] Gary is furry.[(triple5 OR ((triple6 triple8) -> rule2) OR ((triple8 triple9) -> rule3))] Gary is kind.[(triple6)] Gary is round.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)]