Bob is not cold. Bob is green. Bob is smart. Erin is blue. Erin is not cold. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is not smart. Harry is blue. Harry is cold. Harry is green. Harry is red. Harry is smart. All cold people are rough. If someone is blue and rough then they are red. Smart people are nice. If someone is cold and not red then they are smart. If someone is red and not smart then they are green. If Erin is cold and Erin is not green then Erin is nice.
Bob is not red.
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1)] Bob is smart.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple6 OR ((triple8 triple10) -> rule5) OR ((((triple4 triple9) -> rule2) triple10) -> rule5))] Erin is nice.[(triple7)] Erin is not cold.[(triple5)] Erin is not smart.[(triple10)] Erin is red.[(triple8 OR ((triple4 triple9) -> rule2))] Erin is rough.[(triple9)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is red.[(triple14 OR ((triple11 ((triple12) -> rule1)) -> rule2))] Harry is smart.[(triple15)] @1: Bob is nice.[(((triple3) -> rule3))] Harry is nice.[(((triple15) -> rule3))] Harry is rough.[(((triple12) -> rule1))]