The bear is big. The dog is big. The rabbit is round. If the bear is round then the bear eats the dog. All round things are green. If something visits the dog and it does not need the dog then it visits the rabbit. If something is kind and blue then it visits the dog. If the dog is green then the dog eats the bear. If something visits the bear and it does not eat the bear then it eats the rabbit.
The bear is big.
("bear" "is" "big" "+")
The dog is big.
("dog" "is" "big" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If the bear is round then the bear eats the dog.
((("bear" "is" "round" "+")) -> ("bear" "eats" "dog" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something visits the dog and it does not need the dog then it visits the rabbit.
((("something" "visits" "dog" "+") ("something" "needs" "dog" "~")) -> ("something" "visits" "rabbit" "+"))
If something is kind and blue then it visits the dog.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "visits" "dog" "+"))
If the dog is green then the dog eats the bear.
((("dog" "is" "green" "+")) -> ("dog" "eats" "bear" "+"))
If something visits the bear and it does not eat the bear then it eats the rabbit.
((("something" "visits" "bear" "+") ("something" "eats" "bear" "~")) -> ("something" "eats" "rabbit" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear does not visit the rabbit.
Unknown
inv-rconc
[@1: The bear visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "rabbit" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bear is big.[(triple1)] The dog is big.[(triple2)] The rabbit is round.[(triple3)] @1: The rabbit is green.[(((triple3) -> rule2))]
The bear is big.
("bear" "is" "big" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The rabbit is round.
("rabbit" "is" "round" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
((triple3) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1