Dave is big. Dave is blue. Dave is furry. Dave is nice. Dave is round. Dave is smart. Dave is white. If someone is big and blue then they are round. If someone is furry then they are blue. If Dave is furry then Dave is blue. All furry, blue people are big. If someone is furry then they are round. All blue people are big. All smart, round people are blue. All blue people are big.
Dave is furry.
@0: Dave is big.[(triple1 OR ((triple2) -> rule6) OR ((triple2) -> rule8) OR ((triple3 triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule6) OR ((((triple3) -> rule2)) -> rule8) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple3) -> rule3)) -> rule8) OR ((((triple6 triple5) -> rule7)) -> rule6) OR ((((triple6 triple5) -> rule7)) -> rule8) OR ((triple3 ((triple3) -> rule2)) -> rule4) OR ((triple3 ((triple3) -> rule3)) -> rule4) OR ((triple3 ((triple6 triple5) -> rule7)) -> rule4) OR ((((triple6 ((triple3) -> rule5)) -> rule7)) -> rule6) OR ((((triple6 ((triple3) -> rule5)) -> rule7)) -> rule8) OR ((triple3 ((triple6 ((triple3) -> rule5)) -> rule7)) -> rule4))] Dave is blue.[(triple2 OR ((triple3) -> rule2) OR ((triple3) -> rule3) OR ((triple6 triple5) -> rule7) OR ((triple6 ((triple3) -> rule5)) -> rule7))] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is round.[(triple5 OR ((triple3) -> rule5) OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple3) -> rule2)) -> rule1) OR ((triple1 ((triple3) -> rule3)) -> rule1) OR ((((triple2) -> rule6) triple2) -> rule1) OR ((((triple2) -> rule8) triple2) -> rule1) OR ((((triple3 triple2) -> rule4) triple2) -> rule1) OR ((((triple2) -> rule6) ((triple3) -> rule2)) -> rule1) OR ((((triple2) -> rule6) ((triple3) -> rule3)) -> rule1) OR ((((triple2) -> rule8) ((triple3) -> rule2)) -> rule1) OR ((((triple2) -> rule8) ((triple3) -> rule3)) -> rule1) OR ((((triple3 triple2) -> rule4) ((triple3) -> rule2)) -> rule1) OR ((((triple3 triple2) -> rule4) ((triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule2)) -> rule6) triple2) -> rule1) OR ((((((triple3) -> rule2)) -> rule8) triple2) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) triple2) -> rule1) OR ((((((triple3) -> rule3)) -> rule8) triple2) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule4) triple2) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule4) triple2) -> rule1) OR ((((((triple3) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule2)) -> rule6) ((triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule2)) -> rule8) ((triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) ((triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule3)) -> rule8) ((triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule8) ((triple3) -> rule3)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule4) ((triple3) -> rule3)) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule4) ((triple3) -> rule2)) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule4) ((triple3) -> rule3)) -> rule1))] Dave is smart.[(triple6)] Dave is white.[(triple7)]