Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is young. Dave is blue. Dave is red. Dave is young. All young, furry people are kind. If Bob is nice then Bob is young. If someone is quiet then they are red. Red people are young. All blue people are furry. If Bob is furry and Bob is blue then Bob is nice. All young people are furry. Quiet, blue people are nice.
Dave is not nice.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule5) OR ((triple7) -> rule7) OR ((((triple4) -> rule2)) -> rule7) OR ((((triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5 triple1) -> rule8)) -> rule2)) -> rule7))] Bob is kind.[(triple3 OR ((triple7 triple2) -> rule1) OR ((triple7 ((triple1) -> rule5)) -> rule1) OR ((triple7 ((triple7) -> rule7)) -> rule1) OR ((((triple4) -> rule2) triple2) -> rule1) OR ((((triple6) -> rule4) triple2) -> rule1) OR ((((triple4) -> rule2) ((triple1) -> rule5)) -> rule1) OR ((((triple4) -> rule2) ((triple7) -> rule7)) -> rule1) OR ((((triple6) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((triple6) -> rule4) ((triple7) -> rule7)) -> rule1) OR ((triple7 ((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((triple7 ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) triple2) -> rule1) OR ((((((triple2 triple1) -> rule6)) -> rule2) triple2) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule2) triple2) -> rule1) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((((triple4) -> rule2) ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((((triple6) -> rule4) ((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((triple7) -> rule7)) -> rule1) OR ((((((triple2 triple1) -> rule6)) -> rule2) ((triple1) -> rule5)) -> rule1) OR ((((((triple2 triple1) -> rule6)) -> rule2) ((triple7) -> rule7)) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule2) ((triple1) -> rule5)) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule2) ((triple7) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((triple2 triple1) -> rule6)) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2 triple1) -> rule6)) -> rule2) ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule2) ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((triple7 ((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((triple7 ((((((triple5 triple1) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule6)) -> rule2) triple2) -> rule1) OR ((((triple4) -> rule2) ((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((triple4) -> rule2) ((((((triple5 triple1) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((triple6) -> rule4) ((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((triple6) -> rule4) ((((((triple5 triple1) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule6)) -> rule2) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule6)) -> rule2) ((triple7) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((((triple5 triple1) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2 triple1) -> rule6)) -> rule2) ((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple2 triple1) -> rule6)) -> rule2) ((((((triple5 triple1) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule2) ((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule2) ((((((triple5 triple1) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule6)) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule6)) -> rule2) ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule6)) -> rule2) ((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5) triple1) -> rule6)) -> rule2) ((((((triple5 triple1) -> rule8)) -> rule2)) -> rule7)) -> rule1))] Bob is nice.[(triple4 OR ((triple2 triple1) -> rule6) OR ((triple5 triple1) -> rule8) OR ((((triple1) -> rule5) triple1) -> rule6) OR ((((triple7) -> rule7) triple1) -> rule6) OR ((((((triple6) -> rule4)) -> rule7) triple1) -> rule6) OR ((((((((triple5) -> rule3)) -> rule4)) -> rule7) triple1) -> rule6))] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple5) -> rule3))] Bob is young.[(triple7 OR ((triple4) -> rule2) OR ((triple6) -> rule4) OR ((((triple5) -> rule3)) -> rule4) OR ((((triple2 triple1) -> rule6)) -> rule2) OR ((((triple5 triple1) -> rule8)) -> rule2) OR ((((((triple1) -> rule5) triple1) -> rule6)) -> rule2))] Dave is blue.[(triple8)] Dave is red.[(triple9)] Dave is young.[(triple10 OR ((triple9) -> rule4))] @1: Dave is furry.[(((triple10) -> rule7) OR ((triple8) -> rule5) OR ((((triple9) -> rule4)) -> rule7))] @2: Dave is kind.[(((triple10 ((triple10) -> rule7)) -> rule1) OR ((triple10 ((triple8) -> rule5)) -> rule1) OR ((((triple9) -> rule4) ((triple10) -> rule7)) -> rule1) OR ((((triple9) -> rule4) ((triple8) -> rule5)) -> rule1) OR ((triple10 ((((triple9) -> rule4)) -> rule7)) -> rule1) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule7)) -> rule1))]