Dave is green. Dave is not rough. Dave is smart. Cold, rough people are kind. All round people are kind. Rough, green people are young. All rough people are young. If Dave is green and Dave is young then Dave is smart. If Dave is kind and Dave is not rough then Dave is smart. All round, kind people are green. If someone is kind and not round then they are cold.
Dave is green.
("Dave" "is" "green" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Cold, rough people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Rough, green people are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If Dave is green and Dave is young then Dave is smart.
((("Dave" "is" "green" "+") ("Dave" "is" "young" "+")) -> ("Dave" "is" "smart" "+"))
If Dave is kind and Dave is not rough then Dave is smart.
((("Dave" "is" "kind" "+") ("Dave" "is" "rough" "~")) -> ("Dave" "is" "smart" "+"))
All round, kind people are green.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and not round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "+"))
Dave is not rough.
True
1
proof
[(triple2)]
("Dave" "is" "rough" "-")
triple2
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is green.[(triple1)] Dave is not rough.[(triple2)] Dave is smart.[(triple3)]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is not rough.
("Dave" "is" "rough" "-")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3