Anne is cold. Erin is big. Erin is furry. Erin is red. Harry is furry. Harry is kind. Harry is not red. All kind people are furry. All green people are kind. All cold people are kind. If someone is big then they are green. If someone is big and not green then they are not red. Kind, red people are quiet.
Anne is not quiet.
@0: Anne is cold.[(triple1)] Erin is big.[(triple2)] Erin is furry.[(triple3 OR ((((((triple2) -> rule4)) -> rule2)) -> rule1))] Erin is red.[(triple4)] Harry is furry.[(triple5 OR ((triple6) -> rule1))] Harry is kind.[(triple6)] Harry is not red.[(triple7)] @1: Anne is kind.[(((triple1) -> rule3))] Erin is green.[(((triple2) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule3)) -> rule1))] Erin is kind.[(((((triple2) -> rule4)) -> rule2))] @3: Erin is quiet.[(((((((triple2) -> rule4)) -> rule2) triple4) -> rule6))]