Anne is round. Anne is smart. Harry is cold. If Anne is not round then Anne is cold. If someone is cold and furry then they are big.
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If Anne is not round then Anne is cold.
((("Anne" "is" "round" "~")) -> ("Anne" "is" "cold" "+"))
If someone is cold and furry then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Harry is cold.
True
1
proof
[(triple3)]
("Harry" "is" "cold" "+")
triple3
Anne is not smart.
False
1
inv-proof
[(triple2)]
("Anne" "is" "smart" "-")
triple2
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Harry is cold.[(triple3)]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple3