The cow eats the mouse. The cow likes the mouse. The mouse does not chase the cow. The mouse chases the tiger. The mouse is kind. The mouse is rough. The tiger chases the cow. The tiger is cold. The tiger is kind. The tiger is rough. If someone likes the mouse then they chase the cow. If someone is red and round then they chase the cow. If someone chases the tiger and they are not round then they eat the cow. If someone chases the mouse and they are not rough then they eat the cow. If someone eats the mouse then they do not like the cow. If the mouse is round and the mouse eats the tiger then the tiger likes the mouse. If someone is kind and they like the mouse then the mouse chases the cow. If someone eats the cow then the cow likes the mouse.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone likes the mouse then they chase the cow.
((("someone" "likes" "mouse" "+")) -> ("someone" "chases" "cow" "+"))
If someone is red and round then they chase the cow.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the tiger and they are not round then they eat the cow.
((("someone" "chases" "tiger" "+") ("someone" "is" "round" "~")) -> ("someone" "eats" "cow" "+"))
If someone chases the mouse and they are not rough then they eat the cow.
((("someone" "chases" "mouse" "+") ("someone" "is" "rough" "~")) -> ("someone" "eats" "cow" "+"))
If someone eats the mouse then they do not like the cow.
((("someone" "eats" "mouse" "+")) -> ("someone" "likes" "cow" "-"))
If the mouse is round and the mouse eats the tiger then the tiger likes the mouse.
((("mouse" "is" "round" "+") ("mouse" "eats" "tiger" "+")) -> ("tiger" "likes" "mouse" "+"))
If someone is kind and they like the mouse then the mouse chases the cow.
((("someone" "is" "kind" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "chases" "cow" "+"))
If someone eats the cow then the cow likes the mouse.
((("someone" "eats" "cow" "+")) -> ("cow" "likes" "mouse" "+"))
The tiger chases the cow.
True
1
proof
[(triple7)]
("tiger" "chases" "cow" "+")
triple7
The tiger is not cold.
False
1
inv-proof
[(triple8)]
("tiger" "is" "cold" "-")
triple8
The cow does not like the cow.
True
2
proof
[(((triple1) -> rule5))]
("cow" "likes" "cow" "-")
((triple1) -> (rule5 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The cow likes the cow.
False
2
inv-proof
[(((triple1) -> rule5))]
("cow" "likes" "cow" "+")
((triple1) -> (rule5 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "cow" "-")
The tiger eats the cow.
Unknown
rconc
[@1: The tiger eats the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "cow" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The cow eats the mouse.[(triple1)] The cow likes the mouse.[(triple2)] The mouse chases the tiger.[(triple4)] The mouse does not chase the cow.[(triple3)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The tiger chases the cow.[(triple7)] The tiger is cold.[(triple8)] The tiger is kind.[(triple9)] The tiger is rough.[(triple10)] @1: The cow chases the cow.[(((triple2) -> rule1))] The cow does not like the cow.[(((triple1) -> rule5))]
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple2
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple4
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple2) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not like the cow.
("cow" "likes" "cow" "-")
((triple1) -> (rule5 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1