Erin is blue. Erin is furry. Erin is nice. Erin is rough. Erin is white. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is rough. Gary is white. Gary is young. If Erin is rough and Erin is young then Erin is blue. Cold people are furry. White people are young.
Erin is blue.
@0: Erin is blue.[(triple1 OR ((triple4 ((triple5) -> rule3)) -> rule1))] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8 OR ((triple7) -> rule2))] Gary is nice.[(triple9)] Gary is rough.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple11) -> rule3))] @1: Erin is young.[(((triple5) -> rule3))]