Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is round. Gary is blue. Gary is cold. Gary is kind. Gary is rough. Gary is round. All blue things are round.
Erin is kind.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7 OR ((triple2) -> rule1))] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12 OR ((triple8) -> rule1))]