Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is rough. Bob is round. Bob is white. Dave is blue. Dave is furry. Dave is round. Erin is big. Erin is blue. Erin is furry. Erin is rough. Erin is white. If something is round and big then it is nice. Furry, nice things are rough. If something is furry and blue then it is big. If Erin is rough then Erin is white. Round, nice things are rough. If Dave is blue and Dave is white then Dave is big. Nice things are round. All furry things are round.
Dave is not rough.
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule3))] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4 OR ((triple6 triple1) -> rule1) OR ((triple6 ((triple3 triple2) -> rule3)) -> rule1) OR ((((triple3) -> rule8) triple1) -> rule1) OR ((((triple3) -> rule8) ((triple3 triple2) -> rule3)) -> rule1))] Bob is rough.[(triple5 OR ((triple3 triple4) -> rule2) OR ((triple6 triple4) -> rule5) OR ((triple3 ((triple6 triple1) -> rule1)) -> rule2) OR ((triple6 ((triple6 triple1) -> rule1)) -> rule5) OR ((((triple3) -> rule8) triple4) -> rule5) OR ((((triple4) -> rule7) triple4) -> rule5) OR ((((triple3) -> rule8) ((triple6 triple1) -> rule1)) -> rule5) OR ((((triple4) -> rule7) ((triple6 triple1) -> rule1)) -> rule5) OR ((triple3 ((triple6 ((triple3 triple2) -> rule3)) -> rule1)) -> rule2) OR ((triple3 ((((triple3) -> rule8) triple1) -> rule1)) -> rule2) OR ((triple6 ((triple6 ((triple3 triple2) -> rule3)) -> rule1)) -> rule5) OR ((triple6 ((((triple3) -> rule8) triple1) -> rule1)) -> rule5) OR ((triple3 ((((triple3) -> rule8) ((triple3 triple2) -> rule3)) -> rule1)) -> rule2) OR ((triple6 ((((triple3) -> rule8) ((triple3 triple2) -> rule3)) -> rule1)) -> rule5) OR ((((triple3) -> rule8) ((triple6 ((triple3 triple2) -> rule3)) -> rule1)) -> rule5) OR ((((triple3) -> rule8) ((((triple3) -> rule8) triple1) -> rule1)) -> rule5) OR ((((triple4) -> rule7) ((triple6 ((triple3 triple2) -> rule3)) -> rule1)) -> rule5) OR ((((triple4) -> rule7) ((((triple3) -> rule8) triple1) -> rule1)) -> rule5) OR ((((triple3) -> rule8) ((((triple3) -> rule8) ((triple3 triple2) -> rule3)) -> rule1)) -> rule5) OR ((((triple4) -> rule7) ((((triple3) -> rule8) ((triple3 triple2) -> rule3)) -> rule1)) -> rule5))] Bob is round.[(triple6 OR ((triple3) -> rule8) OR ((triple4) -> rule7))] Bob is white.[(triple7)] Dave is blue.[(triple8)] Dave is furry.[(triple9)] Dave is round.[(triple10 OR ((triple9) -> rule8))] Erin is big.[(triple11 OR ((triple13 triple12) -> rule3))] Erin is blue.[(triple12)] Erin is furry.[(triple13)] Erin is rough.[(triple14 OR ((triple13 ((((triple13) -> rule8) triple11) -> rule1)) -> rule2) OR ((triple13 ((((triple13) -> rule8) ((triple13 triple12) -> rule3)) -> rule1)) -> rule2) OR ((((triple13) -> rule8) ((((triple13) -> rule8) triple11) -> rule1)) -> rule5) OR ((((triple13) -> rule8) ((((triple13) -> rule8) ((triple13 triple12) -> rule3)) -> rule1)) -> rule5))] Erin is white.[(triple15 OR ((triple14) -> rule4) OR ((((triple13 ((((triple13) -> rule8) triple11) -> rule1)) -> rule2)) -> rule4) OR ((((triple13 ((((triple13) -> rule8) ((triple13 triple12) -> rule3)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple13) -> rule8) ((((triple13) -> rule8) triple11) -> rule1)) -> rule5)) -> rule4) OR ((((((triple13) -> rule8) ((((triple13) -> rule8) ((triple13 triple12) -> rule3)) -> rule1)) -> rule5)) -> rule4))] @1: Dave is big.[(((triple9 triple8) -> rule3))] Erin is round.[(((triple13) -> rule8))] @2: Dave is nice.[(((triple10 ((triple9 triple8) -> rule3)) -> rule1) OR ((((triple9) -> rule8) ((triple9 triple8) -> rule3)) -> rule1))] Erin is nice.[(((((triple13) -> rule8) triple11) -> rule1) OR ((((triple13) -> rule8) ((triple13 triple12) -> rule3)) -> rule1))] @3: Dave is rough.[(((triple10 ((triple10 ((triple9 triple8) -> rule3)) -> rule1)) -> rule5) OR ((triple9 ((triple10 ((triple9 triple8) -> rule3)) -> rule1)) -> rule2) OR ((triple10 ((((triple9) -> rule8) ((triple9 triple8) -> rule3)) -> rule1)) -> rule5) OR ((triple9 ((((triple9) -> rule8) ((triple9 triple8) -> rule3)) -> rule1)) -> rule2) OR ((((triple9) -> rule8) ((triple10 ((triple9 triple8) -> rule3)) -> rule1)) -> rule5) OR ((((triple9) -> rule8) ((((triple9) -> rule8) ((triple9 triple8) -> rule3)) -> rule1)) -> rule5))]