Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Erin is kind. Erin is nice. Erin is quiet. If Erin is smart then Erin is blue. All kind, nice things are quiet. Nice things are red. Nice things are big. Red things are blue. If something is smart and nice then it is blue.
Erin is not kind.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule5))] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7 OR ((triple5 triple6) -> rule2))] @1: Erin is big.[(((triple6) -> rule4))] Erin is red.[(((triple6) -> rule3))] @2: Erin is blue.[(((((triple6) -> rule3)) -> rule5))]