Bob is big. Bob is cold. Bob is green. Bob is white. Charlie is cold. Charlie is not green. Charlie is not nice. Charlie is white. Erin is green. Erin is nice. Erin is rough. Erin is white. If something is rough then it is not blue. Cold, nice things are not blue.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is not green.[(triple6)] Charlie is not nice.[(triple7)] Charlie is white.[(triple8)] Erin is green.[(triple9)] Erin is nice.[(triple10)] Erin is rough.[(triple11)] Erin is white.[(triple12)] @1: Erin is not blue.[(((triple11) -> rule1))]