Anne is big. Charlie is blue. Dave is round. Erin is quiet. If Charlie is blue then Charlie is round. If something is quiet then it is red. If something is big then it is red. Red things are kind. If Charlie is kind and Charlie is not big then Charlie is not red. If Dave is round then Dave is quiet.
Erin is not blue.
@0: Anne is big.[(triple1)] Charlie is blue.[(triple2)] Dave is round.[(triple3)] Erin is quiet.[(triple4)] @1: Anne is red.[(((triple1) -> rule3))] Charlie is round.[(((triple2) -> rule1))] Dave is quiet.[(((triple3) -> rule6))] Erin is red.[(((triple4) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule3)) -> rule4))] Dave is red.[(((((triple3) -> rule6)) -> rule2))] Erin is kind.[(((((triple4) -> rule2)) -> rule4))] @3: Dave is kind.[(((((((triple3) -> rule6)) -> rule2)) -> rule4))]