The cat eats the mouse. The cat is red. The cat is rough. The cat likes the cow. The cat likes the mouse. The cat needs the cow. The cat needs the mouse. The cow is blue. The cow likes the mouse. The cow needs the cat. The mouse eats the cow. The mouse is green. If the mouse likes the cat and the cat is green then the cat is rough. If the cat needs the cow then the cat is blue. If the cat likes the mouse and the mouse likes the cat then the cat eats the mouse. If someone eats the cow then they eat the mouse. If someone likes the cat and they are young then the cat is rough. If the cat eats the mouse then the mouse likes the cat. If someone likes the mouse then they like the cow. All green people are red.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is green.
("mouse" "is" "green" "+")
If the mouse likes the cat and the cat is green then the cat is rough.
((("mouse" "likes" "cat" "+") ("cat" "is" "green" "+")) -> ("cat" "is" "rough" "+"))
If the cat needs the cow then the cat is blue.
((("cat" "needs" "cow" "+")) -> ("cat" "is" "blue" "+"))
If the cat likes the mouse and the mouse likes the cat then the cat eats the mouse.
((("cat" "likes" "mouse" "+") ("mouse" "likes" "cat" "+")) -> ("cat" "eats" "mouse" "+"))
If someone eats the cow then they eat the mouse.
((("someone" "eats" "cow" "+")) -> ("someone" "eats" "mouse" "+"))
If someone likes the cat and they are young then the cat is rough.
((("someone" "likes" "cat" "+") ("someone" "is" "young" "+")) -> ("cat" "is" "rough" "+"))
If the cat eats the mouse then the mouse likes the cat.
((("cat" "eats" "mouse" "+")) -> ("mouse" "likes" "cat" "+"))
If someone likes the mouse then they like the cow.
((("someone" "likes" "mouse" "+")) -> ("someone" "likes" "cow" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
The cat likes the mouse.
True
1
proof
[(triple5)]
("cat" "likes" "mouse" "+")
triple5
The cow does not need the cat.
False
1
inv-proof
[(triple10)]
("cow" "needs" "cat" "-")
triple10
The cow does not eat the mouse.
Unknown
inv-rconc
[@1: The cow eats the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "mouse" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat eats the mouse.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cat likes the cow.[(triple4 OR ((triple5) -> rule7))] The cat likes the mouse.[(triple5)] The cat needs the cow.[(triple6)] The cat needs the mouse.[(triple7)] The cow is blue.[(triple8)] The cow likes the mouse.[(triple9)] The cow needs the cat.[(triple10)] The mouse eats the cow.[(triple11)] The mouse is green.[(triple12)] @1: The cat is blue.[(((triple6) -> rule2))] The cow likes the cow.[(((triple9) -> rule7))] The mouse eats the mouse.[(((triple11) -> rule4))] The mouse is red.[(((triple12) -> rule8))] The mouse likes the cat.[(((triple1) -> rule6))]
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat likes the cow.
("cat" "likes" "cow" "+")
triple4
((triple5) -> (rule7 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple9
The cow needs the cat.
("cow" "needs" "cat" "+")
triple10
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple11
The mouse is green.
("mouse" "is" "green" "+")
triple12
The cat is blue.
("cat" "is" "blue" "+")
((triple6) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple9) -> (rule7 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple11) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
((triple12) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
((triple1) -> (rule6 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1