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