Anne is young. Bob is furry. Dave is rough. If Bob is white then Bob is cold. If Bob is smart then Bob is cold. Rough, green people are young.
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
If Bob is white then Bob is cold.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "cold" "+"))
If Bob is smart then Bob is cold.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "cold" "+"))
Rough, green people are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is young.[(triple1)] Bob is furry.[(triple2)] Dave is rough.[(triple3)]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3