Bob is not cold. Bob is green. Bob is not nice. Charlie is big. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is red. Charlie is smart. Erin is big. Erin is cold. Erin is furry. Erin is not green. Erin is red. Erin is not smart. Furry, smart things are nice. Big, green things are red. If something is big and not red then it is cold.
Erin is not red.
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1)] Bob is not nice.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7 OR ((triple6 triple9) -> rule1))] Charlie is red.[(triple8)] Charlie is smart.[(triple9)] Erin is big.[(triple10)] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is not green.[(triple13)] Erin is not smart.[(triple15)] Erin is red.[(triple14)]