Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Erin is not nice. Erin is quiet. Erin is red. If something is kind then it is round. If something is red then it is round. All nice things are round. Kind, red things are green. All round, quiet things are kind. If something is nice and not quiet then it is kind. If something is green and not nice then it is kind. If Erin is green and Erin is not nice then Erin is red.
Erin is round.
@0: Charlie is kind.[(triple1 OR ((((triple3) -> rule2) triple2) -> rule5))] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Erin is not nice.[(triple5)] Erin is quiet.[(triple6)] Erin is red.[(triple7)] @1: Charlie is green.[(((triple1 triple3) -> rule4) OR ((((((triple3) -> rule2) triple2) -> rule5) triple3) -> rule4))] Charlie is round.[(((triple1) -> rule1) OR ((triple3) -> rule2))] Erin is round.[(((triple7) -> rule2))] @2: Erin is kind.[(((((triple7) -> rule2) triple6) -> rule5))] @3: Erin is green.[(((((((triple7) -> rule2) triple6) -> rule5) triple7) -> rule4))]