Charlie is kind. Gary is blue. Gary is smart. Gary is white. Harry is blue. Harry is nice. Harry is smart. If Charlie is red then Charlie is blue. All white people are red. If someone is nice and quiet then they are red. If someone is red then they are white. Blue people are white. Kind people are nice. If someone is kind and quiet then they are white. If Charlie is smart then Charlie is blue.
Gary is red.
@0: Charlie is kind.[(triple1)] Gary is blue.[(triple2)] Gary is smart.[(triple3)] Gary is white.[(triple4 OR ((triple2) -> rule5))] Harry is blue.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule6))] Gary is red.[(((triple4) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] Harry is white.[(((triple5) -> rule5))] @2: Harry is red.[(((((triple5) -> rule5)) -> rule2))]