Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is not red. Anne is round. Dave is cold. Dave is not furry. Dave is red. If someone is round and not red then they are furry. If Anne is big then Anne is round. All round, furry people are big. All furry people are cold. If someone is red and not nice then they are round. If Dave is not nice then Dave is round.
Anne is furry.
@0: Anne is big.[(triple1 OR ((triple7 triple4) -> rule3) OR ((triple7 ((triple7 triple6) -> rule1)) -> rule3))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple4) -> rule4) OR ((((triple7 triple6) -> rule1)) -> rule4) OR ((((((triple1) -> rule2) triple6) -> rule1)) -> rule4))] Anne is furry.[(triple4 OR ((triple7 triple6) -> rule1) OR ((((triple1) -> rule2) triple6) -> rule1))] Anne is nice.[(triple5)] Anne is not red.[(triple6)] Anne is round.[(triple7 OR ((triple1) -> rule2))] Dave is cold.[(triple8)] Dave is not furry.[(triple9)] Dave is red.[(triple10)]