Anne is furry. Bob is young. Dave is rough. Erin is cold. All smart people are not cold. If someone is white and not big then they are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
All smart people are not cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "-"))
If someone is white and not big then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "smart" "+"))
Bob is young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "smart" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Dave is rough.[(triple3)] Erin is cold.[(triple4)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4