Anne is cold. Anne is furry. Anne is green. Anne is nice. Charlie is cold. Charlie is green. Dave is cold. Dave is nice. Dave is quiet. Dave is round. If Anne is round then Anne is green. If something is furry and nice then it is red. If something is round then it is cold. If something is round then it is quiet. All furry, cold things are red. Cold things are nice. Round things are nice. All furry, red things are round.
Charlie is not furry.
@0: Anne is cold.[(triple1 OR ((((triple2 ((triple2 triple4) -> rule2)) -> rule8)) -> rule3))] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((((triple2 ((triple2 triple1) -> rule5)) -> rule8)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule2)) -> rule8)) -> rule1) OR ((((triple2 ((triple2 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1))] Anne is nice.[(triple4 OR ((triple1) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule5)) -> rule8)) -> rule7))] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Dave is cold.[(triple7 OR ((triple10) -> rule3))] Dave is nice.[(triple8 OR ((triple10) -> rule7) OR ((triple7) -> rule6) OR ((((triple10) -> rule3)) -> rule6))] Dave is quiet.[(triple9 OR ((triple10) -> rule4))] Dave is round.[(triple10)] @1: Anne is red.[(((triple2 triple1) -> rule5) OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple1) -> rule6)) -> rule2))] Charlie is nice.[(((triple5) -> rule6))] @2: Anne is round.[(((triple2 ((triple2 triple1) -> rule5)) -> rule8) OR ((triple2 ((triple2 triple4) -> rule2)) -> rule8) OR ((triple2 ((triple2 ((triple1) -> rule6)) -> rule2)) -> rule8))] @3: Anne is quiet.[(((((triple2 ((triple2 triple1) -> rule5)) -> rule8)) -> rule4) OR ((((triple2 ((triple2 triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 ((triple2 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule4))]