Bob is blue. Bob is cold. Bob is rough. Bob is smart. Erin is not big. Erin is blue. Erin is cold. Erin is green. Erin is not nice. Erin is not rough. Erin is not smart. Harry is cold. If Bob is blue then Bob is rough. If Bob is big and Bob is not green then Bob is nice. If something is smart then it is big. If something is green then it is not rough. If something is green and rough then it is cold. If something is smart and not big then it is cold.
Bob is not nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3 OR ((triple1) -> rule1))] Bob is smart.[(triple4)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is not big.[(triple5)] Erin is not nice.[(triple9)] Erin is not rough.[(triple10 OR ((triple8) -> rule4))] Erin is not smart.[(triple11)] Harry is cold.[(triple12)] @1: Bob is big.[(((triple4) -> rule3))]