Erin is not big. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is not red. Erin is white. Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is white. If Erin is furry and Erin is nice then Erin is not big. If Erin is not furry then Erin is big. If Erin is not white then Erin is big. If Erin is nice then Erin is not big. Furry things are nice. If Gary is quiet then Gary is white. If Gary is white and Gary is not furry then Gary is quiet. If Gary is big and Gary is not red then Gary is not nice.
Erin is furry.
@0: Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is nice.[(triple4 OR ((triple3) -> rule5))] Erin is not big.[(triple1 OR ((triple4) -> rule4) OR ((triple3 triple4) -> rule1) OR ((((triple3) -> rule5)) -> rule4) OR ((triple3 ((triple3) -> rule5)) -> rule1))] Erin is not red.[(triple6)] Erin is quiet.[(triple5)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is nice.[(triple11 OR ((triple10) -> rule5))] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is white.[(triple14 OR ((triple12) -> rule6))]