Anne is blue. Anne is cold. Anne is furry. Anne is kind. Charlie is cold. Charlie is kind. Charlie is quiet. Erin is furry. Erin is quiet. Erin is young. Harry is blue. Harry is cold. Harry is furry. Harry is quiet. Harry is red. If something is young and blue then it is kind. All young things are blue. If Anne is cold and Anne is young then Anne is kind. Cold, red things are quiet. All kind things are red. Cold things are young.
Erin is cold.
@0: Anne is blue.[(triple1 OR ((((triple2) -> rule6)) -> rule2))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple2 ((triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule6) triple1) -> rule1) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule1))] Charlie is cold.[(triple5)] Charlie is kind.[(triple6 OR ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule2)) -> rule1))] Charlie is quiet.[(triple7 OR ((triple5 ((triple6) -> rule5)) -> rule4) OR ((triple5 ((((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule4))] Erin is furry.[(triple8)] Erin is quiet.[(triple9)] Erin is young.[(triple10)] Harry is blue.[(triple11 OR ((((triple12) -> rule6)) -> rule2))] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is quiet.[(triple14 OR ((triple12 triple15) -> rule4) OR ((triple12 ((((((triple12) -> rule6) triple11) -> rule1)) -> rule5)) -> rule4) OR ((triple12 ((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule4))] Harry is red.[(triple15 OR ((((((triple12) -> rule6) triple11) -> rule1)) -> rule5) OR ((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule2)) -> rule1)) -> rule5))] @1: Anne is red.[(((triple4) -> rule5) OR ((((triple2 ((triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule6) triple1) -> rule1)) -> rule5) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule5))] Anne is young.[(((triple2) -> rule6))] Charlie is red.[(((triple6) -> rule5) OR ((((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule5))] Charlie is young.[(((triple5) -> rule6))] Erin is blue.[(((triple10) -> rule2))] Harry is young.[(((triple12) -> rule6))] @2: Anne is quiet.[(((triple2 ((triple4) -> rule5)) -> rule4) OR ((triple2 ((((triple2 ((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule4) OR ((triple2 ((((((triple2) -> rule6) triple1) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule4))] Charlie is blue.[(((((triple5) -> rule6)) -> rule2))] Erin is kind.[(((triple10 ((triple10) -> rule2)) -> rule1))] Harry is kind.[(((((triple12) -> rule6) triple11) -> rule1) OR ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule2)) -> rule1))] @3: Erin is red.[(((((triple10 ((triple10) -> rule2)) -> rule1)) -> rule5))]