Bob is big. Bob is cold. Bob is rough. Dave is furry. Dave is rough. Dave is smart. Erin is big. Erin is furry. Erin is rough. Erin is round. Erin is smart. Erin is white. If something is big then it is white. White things are smart. If Erin is white and Erin is round then Erin is furry. If something is furry and round then it is cold. All furry things are round. If something is white then it is round. If Dave is rough and Dave is smart then Dave is furry. All smart, cold things are furry.
Dave is round.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Dave is furry.[(triple4 OR ((triple5 triple6) -> rule7))] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8 OR ((triple12 triple10) -> rule3) OR ((triple12 ((triple12) -> rule6)) -> rule3) OR ((((triple7) -> rule1) triple10) -> rule3) OR ((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) OR ((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) OR ((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3))] Erin is rough.[(triple9)] Erin is round.[(triple10 OR ((triple12) -> rule6) OR ((triple8) -> rule5) OR ((((triple7) -> rule1)) -> rule6))] Erin is smart.[(triple11 OR ((triple12) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Erin is white.[(triple12 OR ((triple7) -> rule1))] @1: Bob is white.[(((triple1) -> rule1))] Dave is round.[(((triple4) -> rule5) OR ((((triple5 triple6) -> rule7)) -> rule5))] Erin is cold.[(((triple8 triple10) -> rule4) OR ((triple8 ((triple12) -> rule6)) -> rule4) OR ((triple8 ((triple8) -> rule5)) -> rule4) OR ((((triple12 triple10) -> rule3) triple10) -> rule4) OR ((((triple12 triple10) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 triple10) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((triple8 ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) triple10) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) triple10) -> rule4) OR ((((triple12 triple10) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4))] @2: Bob is round.[(((((triple1) -> rule1)) -> rule6) OR ((((((((triple1) -> rule1)) -> rule2) triple2) -> rule8)) -> rule5))] Bob is smart.[(((((triple1) -> rule1)) -> rule2))] Dave is cold.[(((triple4 ((triple4) -> rule5)) -> rule4) OR ((((triple5 triple6) -> rule7) ((triple4) -> rule5)) -> rule4) OR ((triple4 ((((triple5 triple6) -> rule7)) -> rule5)) -> rule4) OR ((((triple5 triple6) -> rule7) ((((triple5 triple6) -> rule7)) -> rule5)) -> rule4))] @3: Bob is furry.[(((((((triple1) -> rule1)) -> rule2) triple2) -> rule8))]