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