Erin is not big. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is not smart. Gary is big. Gary is cold. Gary is furry. Gary is not green. Gary is nice. Gary is quiet. Gary is not smart. Green people are not big. If someone is big and nice then they are quiet. If someone is nice and not smart then they are quiet. All green people are furry. If someone is smart and nice then they are furry. If Gary is smart then Gary is quiet. If Gary is furry and Gary is nice then Gary is cold. If someone is smart and not quiet then they are cold.
Erin is not green.
@0: Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple4) -> rule4))] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is not big.[(triple1 OR ((triple4) -> rule1))] Erin is not smart.[(triple7)] Erin is quiet.[(triple6 OR ((triple5 triple7) -> rule3))] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple10 triple12) -> rule7))] Gary is furry.[(triple10)] Gary is nice.[(triple12)] Gary is not green.[(triple11)] Gary is not smart.[(triple14)] Gary is quiet.[(triple13 OR ((triple12 triple14) -> rule3) OR ((triple8 triple12) -> rule2))]