Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is rough. Erin is big. Erin is cold. Erin is nice. Erin is white. Harry is big. Harry is blue. Harry is cold. Harry is nice. Harry is white. If something is green then it is blue. If something is rough then it is big.
Erin is not blue.
@0: Bob is big.[(triple1 OR ((triple6) -> rule2))] Bob is blue.[(triple2 OR ((triple4) -> rule1))] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6)] Erin is big.[(triple7)] Erin is cold.[(triple8)] Erin is nice.[(triple9)] Erin is white.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is nice.[(triple14)] Harry is white.[(triple15)]