Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is young. Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. If something is smart then it is red. All red, smart things are nice.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple4 triple6) -> rule2) OR ((((triple6) -> rule1) triple6) -> rule2))] Bob is red.[(triple4 OR ((triple6) -> rule1))] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Charlie is nice.[(triple10 OR ((triple11 triple13) -> rule2) OR ((((triple13) -> rule1) triple13) -> rule2))] Charlie is red.[(triple11 OR ((triple13) -> rule1))] Charlie is round.[(triple12)] Charlie is smart.[(triple13)] Charlie is young.[(triple14)]