Bob is furry. Bob is nice. Bob is round. Bob is smart. Dave is big. Dave is furry. Dave is round. Dave is smart. Dave is white. Dave is young. Erin is big. Erin is furry. Erin is nice. Erin is round. Erin is smart. Erin is white. If Erin is furry then Erin is white. If Dave is furry then Dave is smart. If Dave is smart and Dave is big then Dave is white. If something is furry and round then it is smart. All young things are round. Young things are furry. All round things are white. If something is smart and young then it is nice.
Erin is young.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple1 triple3) -> rule4))] Dave is big.[(triple5)] Dave is furry.[(triple6 OR ((triple10) -> rule6))] Dave is round.[(triple7 OR ((triple10) -> rule5))] Dave is smart.[(triple8 OR ((triple6) -> rule2) OR ((triple6 triple7) -> rule4) OR ((((triple10) -> rule6)) -> rule2) OR ((triple6 ((triple10) -> rule5)) -> rule4) OR ((((triple10) -> rule6) triple7) -> rule4) OR ((((triple10) -> rule6) ((triple10) -> rule5)) -> rule4))] Dave is white.[(triple9 OR ((triple7) -> rule7) OR ((triple8 triple5) -> rule3) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple6) -> rule2) triple5) -> rule3) OR ((((triple6 triple7) -> rule4) triple5) -> rule3) OR ((((((triple10) -> rule6)) -> rule2) triple5) -> rule3) OR ((((triple6 ((triple10) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((triple10) -> rule6) triple7) -> rule4) triple5) -> rule3) OR ((((((triple10) -> rule6) ((triple10) -> rule5)) -> rule4) triple5) -> rule3))] Dave is young.[(triple10)] Erin is big.[(triple11)] Erin is furry.[(triple12)] Erin is nice.[(triple13)] Erin is round.[(triple14)] Erin is smart.[(triple15 OR ((triple12 triple14) -> rule4))] Erin is white.[(triple16 OR ((triple12) -> rule1) OR ((triple14) -> rule7))] @1: Bob is white.[(((triple3) -> rule7))] Dave is nice.[(((triple8 triple10) -> rule8) OR ((((triple6) -> rule2) triple10) -> rule8) OR ((((triple6 triple7) -> rule4) triple10) -> rule8) OR ((((((triple10) -> rule6)) -> rule2) triple10) -> rule8) OR ((((triple6 ((triple10) -> rule5)) -> rule4) triple10) -> rule8) OR ((((((triple10) -> rule6) triple7) -> rule4) triple10) -> rule8) OR ((((((triple10) -> rule6) ((triple10) -> rule5)) -> rule4) triple10) -> rule8))]