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