Anne is furry. Charlie is red. Erin is big. All nice, blue things are big. If something is cold and furry then it is kind. Nice things are kind. If Anne is nice and Anne is not furry then Anne is blue. All kind things are cold. All red things are nice. If Anne is kind and Anne is nice then Anne is big. If Anne is big and Anne is nice then Anne is red.
Charlie is big.
@0: Anne is furry.[(triple1)] Charlie is red.[(triple2)] Erin is big.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule6))] @2: Charlie is kind.[(((((triple2) -> rule6)) -> rule3))] @3: Charlie is cold.[(((((((triple2) -> rule6)) -> rule3)) -> rule5))]