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