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