Anne is cold. Anne is furry. Anne is nice. Anne is round. Anne is smart. Anne is young. Dave is big. Dave is furry. Dave is nice. Dave is round. Dave is smart. Dave is young. Smart people are round. All smart, furry people are young. All nice people are young. If someone is furry and cold then they are smart. All nice people are cold. If someone is smart and round then they are cold. If Anne is big and Anne is nice then Anne is smart. If Anne is furry then Anne is big.
Dave is nice.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule5) OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple5) -> rule1)) -> rule6) OR ((((((triple2) -> rule8) triple3) -> rule7) triple4) -> rule6) OR ((((((triple2) -> rule8) triple3) -> rule7) ((triple5) -> rule1)) -> rule6) OR ((triple5 ((((((triple2) -> rule8) triple3) -> rule7)) -> rule1)) -> rule6) OR ((((((triple2) -> rule8) triple3) -> rule7) ((((((triple2) -> rule8) triple3) -> rule7)) -> rule1)) -> rule6))] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4 OR ((triple5) -> rule1) OR ((((triple2 triple1) -> rule4)) -> rule1) OR ((((triple2 ((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((triple2) -> rule8) triple3) -> rule7)) -> rule1))] Anne is smart.[(triple5 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple3) -> rule5)) -> rule4) OR ((((triple2) -> rule8) triple3) -> rule7))] Anne is young.[(triple6 OR ((triple3) -> rule3) OR ((triple5 triple2) -> rule2) OR ((((triple2 triple1) -> rule4) triple2) -> rule2) OR ((((triple2 ((triple3) -> rule5)) -> rule4) triple2) -> rule2) OR ((((((triple2) -> rule8) triple3) -> rule7) triple2) -> rule2))] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is nice.[(triple9)] Dave is round.[(triple10 OR ((triple11) -> rule1) OR ((((triple8 ((triple9) -> rule5)) -> rule4)) -> rule1))] Dave is smart.[(triple11 OR ((triple8 ((triple9) -> rule5)) -> rule4))] Dave is young.[(triple12 OR ((triple9) -> rule3) OR ((triple11 triple8) -> rule2) OR ((((triple8 ((triple9) -> rule5)) -> rule4) triple8) -> rule2))] @1: Anne is big.[(((triple2) -> rule8))] Dave is cold.[(((triple9) -> rule5) OR ((triple11 triple10) -> rule6) OR ((triple11 ((triple11) -> rule1)) -> rule6))]