The bear is cold. The bear is not kind. The cat does not eat the mouse. The cat is red. The cat does not visit the bear. The mouse eats the cat. The mouse eats the rabbit. The mouse is kind. The mouse does not visit the rabbit. The rabbit eats the mouse. The rabbit visits the cat. The rabbit visits the mouse. If something is cold then it eats the mouse. If something is big and it does not visit the bear then it eats the cat. If something is kind and it likes the cat then it visits the rabbit.
The bear is cold.
("bear" "is" "cold" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
The cat is red.
("cat" "is" "red" "+")
The cat does not visit the bear.
("cat" "visits" "bear" "-")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something is cold then it eats the mouse.
((("something" "is" "cold" "+")) -> ("something" "eats" "mouse" "+"))
If something is big and it does not visit the bear then it eats the cat.
((("something" "is" "big" "+") ("something" "visits" "bear" "~")) -> ("something" "eats" "cat" "+"))
If something is kind and it likes the cat then it visits the rabbit.
((("something" "is" "kind" "+") ("something" "likes" "cat" "+")) -> ("something" "visits" "rabbit" "+"))
The cat is red.
True
1
proof
[(triple4)]
("cat" "is" "red" "+")
triple4
The rabbit does not visit the mouse.
False
1
inv-proof
[(triple12)]
("rabbit" "visits" "mouse" "-")
triple12
The bear eats the mouse.
True
2
proof
[(((triple1) -> rule1))]
("bear" "eats" "mouse" "+")
((triple1) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear does not eat the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "eats" "mouse" "-")
((triple1) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat visits the rabbit.
Unknown
rconc
[@1: The cat visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "visits" "rabbit" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear is cold.[(triple1)] The bear is not kind.[(triple2)] The cat does not eat the mouse.[(triple3)] The cat does not visit the bear.[(triple5)] The cat is red.[(triple4)] The mouse does not visit the rabbit.[(triple9)] The mouse eats the cat.[(triple6)] The mouse eats the rabbit.[(triple7)] The mouse is kind.[(triple8)] The rabbit eats the mouse.[(triple10)] The rabbit visits the cat.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The bear eats the mouse.[(((triple1) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is not kind.
("bear" "is" "kind" "-")
triple2
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
triple3
The cat does not visit the bear.
("cat" "visits" "bear" "-")
triple5
The cat is red.
("cat" "is" "red" "+")
triple4
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
triple9
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple6
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
triple8
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple10
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple11
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple12
The bear eats the mouse.
("bear" "eats" "mouse" "+")
((triple1) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1