Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is white. Furry things are white. If Gary is big then Gary is nice.
Erin is red.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7 OR ((triple3) -> rule1))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple8) -> rule2))] Gary is red.[(triple13)] Gary is white.[(triple14 OR ((triple10) -> rule1))]