Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Erin is blue. Erin is kind. Erin is quiet. Erin is white. Gary is blue. Gary is red. Gary is white. Harry is kind. Harry is red. Harry is rough. Rough, red people are nice. If Charlie is kind and Charlie is rough then Charlie is blue.
Charlie is not blue.
@0: Charlie is blue.[(triple1 OR ((triple2 triple5) -> rule2))] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Erin is blue.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Erin is white.[(triple9)] Gary is blue.[(triple10)] Gary is red.[(triple11)] Gary is white.[(triple12)] Harry is kind.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] @1: Charlie is nice.[(((triple5 triple4) -> rule1))] Harry is nice.[(((triple15 triple14) -> rule1))]