Anne is round. Bob is big. Bob is nice. Bob is round. Dave is big. Dave is blue. Dave is furry. Dave is smart. Harry is smart. Harry is white. All blue, round people are smart. All nice, round people are furry. Smart, blue people are nice. If Anne is furry and Anne is round then Anne is big. All blue, smart people are white. Nice people are furry. All furry, big people are blue. If someone is round then they are blue.
Dave is smart.
@0: Anne is round.[(triple1)] Bob is big.[(triple2)] Bob is nice.[(triple3 OR ((((((triple4) -> rule8) triple4) -> rule1) ((triple4) -> rule8)) -> rule3))] Bob is round.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6 OR ((triple7 triple5) -> rule7))] Dave is furry.[(triple7 OR ((((triple8 triple6) -> rule3)) -> rule6))] Dave is smart.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Anne is blue.[(((triple1) -> rule8))] Bob is blue.[(((triple4) -> rule8) OR ((((triple3) -> rule6) triple2) -> rule7) OR ((((triple3 triple4) -> rule2) triple2) -> rule7))] Bob is furry.[(((triple3) -> rule6) OR ((triple3 triple4) -> rule2) OR ((((((((triple4) -> rule8) triple4) -> rule1) ((triple4) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple4) -> rule8) triple4) -> rule1) ((triple4) -> rule8)) -> rule3) triple4) -> rule2))] Dave is nice.[(((triple8 triple6) -> rule3) OR ((triple8 ((triple7 triple5) -> rule7)) -> rule3))] Dave is white.[(((triple6 triple8) -> rule5) OR ((((triple7 triple5) -> rule7) triple8) -> rule5))] @2: Anne is smart.[(((((triple1) -> rule8) triple1) -> rule1))] Bob is smart.[(((((triple4) -> rule8) triple4) -> rule1) OR ((((((triple3) -> rule6) triple2) -> rule7) triple4) -> rule1) OR ((((((triple3 triple4) -> rule2) triple2) -> rule7) triple4) -> rule1))] @3: Anne is nice.[(((((((triple1) -> rule8) triple1) -> rule1) ((triple1) -> rule8)) -> rule3))] Anne is white.[(((((triple1) -> rule8) ((((triple1) -> rule8) triple1) -> rule1)) -> rule5))] Bob is white.[(((((triple4) -> rule8) ((((triple4) -> rule8) triple4) -> rule1)) -> rule5) OR ((((((triple3) -> rule6) triple2) -> rule7) ((((triple4) -> rule8) triple4) -> rule1)) -> rule5) OR ((((((triple3 triple4) -> rule2) triple2) -> rule7) ((((triple4) -> rule8) triple4) -> rule1)) -> rule5) OR ((((triple4) -> rule8) ((((((triple3) -> rule6) triple2) -> rule7) triple4) -> rule1)) -> rule5) OR ((((triple4) -> rule8) ((((((triple3 triple4) -> rule2) triple2) -> rule7) triple4) -> rule1)) -> rule5) OR ((((((triple3) -> rule6) triple2) -> rule7) ((((((triple3) -> rule6) triple2) -> rule7) triple4) -> rule1)) -> rule5) OR ((((((triple3) -> rule6) triple2) -> rule7) ((((((triple3 triple4) -> rule2) triple2) -> rule7) triple4) -> rule1)) -> rule5) OR ((((((triple3 triple4) -> rule2) triple2) -> rule7) ((((((triple3) -> rule6) triple2) -> rule7) triple4) -> rule1)) -> rule5) OR ((((((triple3 triple4) -> rule2) triple2) -> rule7) ((((((triple3 triple4) -> rule2) triple2) -> rule7) triple4) -> rule1)) -> rule5))] @4: Anne is furry.[(((((((((triple1) -> rule8) triple1) -> rule1) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8) triple1) -> rule1) ((triple1) -> rule8)) -> rule3) triple1) -> rule2))] @5: Anne is big.[(((((((((((triple1) -> rule8) triple1) -> rule1) ((triple1) -> rule8)) -> rule3)) -> rule6) triple1) -> rule4) OR ((((((((((triple1) -> rule8) triple1) -> rule1) ((triple1) -> rule8)) -> rule3) triple1) -> rule2) triple1) -> rule4))]