Dave is smart. Fiona is white. If someone is rough then they are big. Rough, big people are cold.
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Rough, big people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Dave is smart.
True
1
proof
[(triple1)]
("Dave" "is" "smart" "+")
triple1
Dave is not smart.
False
1
inv-proof
[(triple1)]
("Dave" "is" "smart" "-")
triple1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is smart.[(triple1)] Fiona is white.[(triple2)]
Dave is smart.
("Dave" "is" "smart" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2