Anne is big. Bob is big. All quiet things are not round. If Anne is smart and Anne is not nice then Anne is furry.
Anne is big.
("Anne" "is" "big" "+")
Bob is big.
("Bob" "is" "big" "+")
All quiet things are not round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "-"))
If Anne is smart and Anne is not nice then Anne is furry.
((("Anne" "is" "smart" "+") ("Anne" "is" "nice" "~")) -> ("Anne" "is" "furry" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Bob is not big.
False
1
inv-proof
[(triple2)]
("Bob" "is" "big" "-")
triple2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Bob is big.[(triple2)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2