The cow eats the mouse. The cow is cold. The cow is green. The cow is kind. The cow is not nice. The cow is rough. The cow likes the mouse. The cow visits the mouse. The mouse does not eat the cow. The mouse is green. The mouse is kind. The mouse is nice. The mouse is rough. The mouse likes the cow. The mouse visits the cow. If something visits the mouse then it is rough. If something is rough then it is cold. If something eats the mouse then it likes the mouse. If the mouse likes the cow and the cow eats the mouse then the cow is kind. If something visits the cow and it eats the mouse then the cow likes the mouse. If something eats the cow then the cow does not eat the mouse.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If something visits the mouse then it is rough.
((("something" "visits" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something eats the mouse then it likes the mouse.
((("something" "eats" "mouse" "+")) -> ("something" "likes" "mouse" "+"))
If the mouse likes the cow and the cow eats the mouse then the cow is kind.
((("mouse" "likes" "cow" "+") ("cow" "eats" "mouse" "+")) -> ("cow" "is" "kind" "+"))
If something visits the cow and it eats the mouse then the cow likes the mouse.
((("something" "visits" "cow" "+") ("something" "eats" "mouse" "+")) -> ("cow" "likes" "mouse" "+"))
If something eats the cow then the cow does not eat the mouse.
((("something" "eats" "cow" "+")) -> ("cow" "eats" "mouse" "-"))
The mouse visits the cow.
True
1
proof
[(triple15)]
("mouse" "visits" "cow" "+")
triple15
The cow does not visit the mouse.
False
1
inv-proof
[(triple8)]
("cow" "visits" "mouse" "-")
triple8
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The cow eats the mouse.[(triple1)] The cow is cold.[(triple2 OR ((triple6) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] The cow is green.[(triple3)] The cow is kind.[(triple4 OR ((triple14 triple1) -> rule4))] The cow is not nice.[(triple5)] The cow is rough.[(triple6 OR ((triple8) -> rule1))] The cow likes the mouse.[(triple7 OR ((triple1) -> rule3))] The cow visits the mouse.[(triple8)] The mouse does not eat the cow.[(triple9)] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse likes the cow.[(triple14)] The mouse visits the cow.[(triple15)] @1: The mouse is cold.[(((triple13) -> rule2))]
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
((triple6) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
((triple14 triple1) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not nice.
("cow" "is" "nice" "-")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
((triple8) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple7
((triple1) -> (rule3 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple8
The mouse does not eat the cow.
("mouse" "eats" "cow" "-")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is kind.
("mouse" "is" "kind" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple14
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple15
The mouse is cold.
("mouse" "is" "cold" "+")
((triple13) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1