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