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