Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is round. If Erin is red and Erin is furry then Erin is big.
Erin is big.
@0: Erin is big.[(triple1 OR ((triple6 triple4) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)]