The bear visits the lion. The dog visits the lion. The lion is not round. The squirrel is round. All red people are not round. If the dog sees the lion and the dog is not rough then the dog is round.
The bear visits the lion.
("bear" "visits" "lion" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is not round.
("lion" "is" "round" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
All red people are not round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "-"))
If the dog sees the lion and the dog is not rough then the dog is round.
((("dog" "sees" "lion" "+") ("dog" "is" "rough" "~")) -> ("dog" "is" "round" "+"))
The squirrel is round.
True
1
proof
[(triple4)]
("squirrel" "is" "round" "+")
triple4
The dog does not visit the lion.
False
1
inv-proof
[(triple2)]
("dog" "visits" "lion" "-")
triple2
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "round" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bear visits the lion.[(triple1)] The dog visits the lion.[(triple2)] The lion is not round.[(triple3)] The squirrel is round.[(triple4)]
The bear visits the lion.
("bear" "visits" "lion" "+")
triple1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple2
The lion is not round.
("lion" "is" "round" "-")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4