Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is round. Round things are green. If Dave is round and Dave is nice then Dave is blue. If something is furry then it is blue. Furry things are blue. If something is rough and kind then it is green. If Dave is rough and Dave is kind then Dave is furry. All rough, kind things are green. All kind, rough things are blue.
Dave is not nice.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple2) -> rule4) OR ((triple4 triple6) -> rule8) OR ((triple7 triple5) -> rule2) OR ((((triple6 triple4) -> rule6)) -> rule3) OR ((((triple6 triple4) -> rule6)) -> rule4))] Dave is furry.[(triple2 OR ((triple6 triple4) -> rule6))] Dave is green.[(triple3 OR ((triple7) -> rule1) OR ((triple6 triple4) -> rule5) OR ((triple6 triple4) -> rule7))] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)]