The bear is round. The cow eats the mouse. The mouse is round. If someone likes the cow and the cow eats the mouse then the cow chases the bear. If someone eats the mouse then they like the mouse. If someone is big and they eat the mouse then they chase the mouse.
The bear is round.
("bear" "is" "round" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The mouse is round.
("mouse" "is" "round" "+")
If someone likes the cow and the cow eats the mouse then the cow chases the bear.
((("someone" "likes" "cow" "+") ("cow" "eats" "mouse" "+")) -> ("cow" "chases" "bear" "+"))
If someone eats the mouse then they like the mouse.
((("someone" "eats" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is big and they eat the mouse then they chase the mouse.
((("someone" "is" "big" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "chases" "mouse" "+"))
The mouse is round.
True
1
proof
[(triple3)]
("mouse" "is" "round" "+")
triple3
The cow does not eat the mouse.
False
1
inv-proof
[(triple2)]
("cow" "eats" "mouse" "-")
triple2
The cow likes the mouse.
True
2
proof
[(((triple2) -> rule2))]
("cow" "likes" "mouse" "+")
((triple2) -> (rule2 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow does not like the mouse.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "likes" "mouse" "-")
((triple2) -> (rule2 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bear is round.[(triple1)] The cow eats the mouse.[(triple2)] The mouse is round.[(triple3)] @1: The cow likes the mouse.[(((triple2) -> rule2))]
The bear is round.
("bear" "is" "round" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
((triple2) -> (rule2 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1