Anne is big. Anne is cold. Dave is cold. Dave is furry. Dave is round. Erin is cold. Erin is furry. If something is white and not cold then it is blue. If something is round and kind then it is blue. All blue, white things are round. If Erin is kind and Erin is round then Erin is big. If something is big and cold then it is kind. If something is round then it is big.
Dave is not kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is round.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] @1: Anne is kind.[(((triple1 triple2) -> rule5))] Dave is big.[(((triple5) -> rule6))] @2: Dave is kind.[(((((triple5) -> rule6) triple3) -> rule5))] @3: Dave is blue.[(((triple5 ((((triple5) -> rule6) triple3) -> rule5)) -> rule2))]