Anne is furry. Charlie is nice. Dave is white. Gary is round. If Anne is round and Anne is nice then Anne is rough. All nice, furry people are kind. All round, nice people are rough.
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is round.
("Gary" "is" "round" "+")
If Anne is round and Anne is nice then Anne is rough.
((("Anne" "is" "round" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "rough" "+"))
All nice, furry people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All round, nice people are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Dave is white.
True
1
proof
[(triple3)]
("Dave" "is" "white" "+")
triple3
Dave is not white.
False
1
inv-proof
[(triple3)]
("Dave" "is" "white" "-")
triple3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is furry.[(triple1)] Charlie is nice.[(triple2)] Dave is white.[(triple3)] Gary is round.[(triple4)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4