Charlie is kind. Charlie is red. Erin is green. Erin is kind. Erin is not red. Erin is white. Gary is green. Gary is quiet. Gary is red. Harry is smart. All kind people are nice. All nice people are green. If Erin is red then Erin is kind. If someone is kind and not green then they are not quiet. If someone is white then they are quiet. All green people are quiet.
Charlie is not quiet.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Erin is green.[(triple3 OR ((((triple4) -> rule1)) -> rule2))] Erin is kind.[(triple4)] Erin is not red.[(triple5)] Erin is white.[(triple6)] Gary is green.[(triple7)] Gary is quiet.[(triple8 OR ((triple7) -> rule6))] Gary is red.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is nice.[(((triple1) -> rule1))] Erin is nice.[(((triple4) -> rule1))] Erin is quiet.[(((triple3) -> rule6) OR ((triple6) -> rule5) OR ((((((triple4) -> rule1)) -> rule2)) -> rule6))] @2: Charlie is green.[(((((triple1) -> rule1)) -> rule2))] @3: Charlie is quiet.[(((((((triple1) -> rule1)) -> rule2)) -> rule6))]