Anne is furry. Anne is round. Anne is smart. Anne is white. Anne is young. Gary is big. Gary is furry. Gary is nice. Gary is round. Gary is smart. Gary is white. Gary is young. All big, round things are young.
Anne is nice.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple6 triple9) -> rule1))]