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