Charlie is blue. Erin is nice. Quiet, furry things are kind. All blue things are kind. All nice things are kind. All blue things are not quiet. Kind, nice things are blue. If something is blue and not quiet then it is big.
Charlie is quiet.
@0: Charlie is blue.[(triple1)] Erin is nice.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule2))] Charlie is not quiet.[(((triple1) -> rule4))] Erin is kind.[(((triple2) -> rule3))] @2: Charlie is big.[(((triple1 ((triple1) -> rule4)) -> rule6))] Erin is blue.[(((((triple2) -> rule3) triple2) -> rule5))] @3: Erin is not quiet.[(((((((triple2) -> rule3) triple2) -> rule5)) -> rule4))] @4: Erin is big.[(((((((triple2) -> rule3) triple2) -> rule5) ((((((triple2) -> rule3) triple2) -> rule5)) -> rule4)) -> rule6))]