Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Charlie is blue. Charlie is nice. Charlie is rough. Erin is nice. Erin is rough. Harry is blue. Nice, cold things are smart. Nice things are rough. If Bob is rough and Bob is cold then Bob is smart. If something is nice then it is quiet. If something is quiet and blue then it is red. If something is blue and quiet then it is cold.
Charlie is not blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple3) -> rule4)) -> rule6))] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple3) -> rule4))] Bob is rough.[(triple5 OR ((triple3) -> rule2))] Bob is smart.[(triple6 OR ((triple3 triple2) -> rule1) OR ((triple5 triple2) -> rule3) OR ((triple3 ((triple1 triple4) -> rule6)) -> rule1) OR ((triple5 ((triple1 triple4) -> rule6)) -> rule3) OR ((((triple3) -> rule2) triple2) -> rule3) OR ((((triple3) -> rule2) ((triple1 triple4) -> rule6)) -> rule3) OR ((triple3 ((triple1 ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((triple5 ((triple1 ((triple3) -> rule4)) -> rule6)) -> rule3) OR ((((triple3) -> rule2) ((triple1 ((triple3) -> rule4)) -> rule6)) -> rule3))] Charlie is blue.[(triple7)] Charlie is nice.[(triple8)] Charlie is rough.[(triple9 OR ((triple8) -> rule2))] Erin is nice.[(triple10)] Erin is rough.[(triple11 OR ((triple10) -> rule2))] Harry is blue.[(triple12)] @1: Bob is red.[(((triple4 triple1) -> rule5) OR ((((triple3) -> rule4) triple1) -> rule5))] Charlie is quiet.[(((triple8) -> rule4))] Erin is quiet.[(((triple10) -> rule4))] @2: Charlie is cold.[(((triple7 ((triple8) -> rule4)) -> rule6))] Charlie is red.[(((((triple8) -> rule4) triple7) -> rule5))] @3: Charlie is smart.[(((triple8 ((triple7 ((triple8) -> rule4)) -> rule6)) -> rule1))]