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