The cat eats the cow. The cat is young. The cow eats the mouse. The cow is cold. The cow is nice. The cow is rough. The cow needs the cat. The cow needs the mouse. The cow visits the mouse. The mouse needs the cat. The mouse needs the tiger. The mouse visits the cow. The tiger eats the cow. The tiger is cold. The tiger is young. The tiger needs the mouse. If someone visits the mouse then the mouse needs the cow. If the mouse is round then the mouse visits the cow. If someone needs the tiger and they eat the cow then they need the mouse. If someone needs the tiger then the tiger eats the mouse. If someone is young then they need the cat. If someone visits the mouse and the mouse needs the tiger then the tiger visits the cat.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is young.
("cat" "is" "young" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone visits the mouse then the mouse needs the cow.
((("someone" "visits" "mouse" "+")) -> ("mouse" "needs" "cow" "+"))
If the mouse is round then the mouse visits the cow.
((("mouse" "is" "round" "+")) -> ("mouse" "visits" "cow" "+"))
If someone needs the tiger and they eat the cow then they need the mouse.
((("someone" "needs" "tiger" "+") ("someone" "eats" "cow" "+")) -> ("someone" "needs" "mouse" "+"))
If someone needs the tiger then the tiger eats the mouse.
((("someone" "needs" "tiger" "+")) -> ("tiger" "eats" "mouse" "+"))
If someone is young then they need the cat.
((("someone" "is" "young" "+")) -> ("someone" "needs" "cat" "+"))
If someone visits the mouse and the mouse needs the tiger then the tiger visits the cat.
((("someone" "visits" "mouse" "+") ("mouse" "needs" "tiger" "+")) -> ("tiger" "visits" "cat" "+"))
The tiger is young.
True
1
proof
[(triple15)]
("tiger" "is" "young" "+")
triple15
The tiger is not young.
False
1
inv-proof
[(triple15)]
("tiger" "is" "young" "-")
triple15
The cat does not need the mouse.
Unknown
inv-rconc
[@1: The cat needs the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "mouse" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The cat eats the cow.[(triple1)] The cat is young.[(triple2)] The cow eats the mouse.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow needs the cat.[(triple7)] The cow needs the mouse.[(triple8)] The cow visits the mouse.[(triple9)] The mouse needs the cat.[(triple10)] The mouse needs the tiger.[(triple11)] The mouse visits the cow.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is cold.[(triple14)] The tiger is young.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The cat needs the cat.[(((triple2) -> rule5))] The mouse needs the cow.[(((triple9) -> rule1))] The tiger eats the mouse.[(((triple11) -> rule4))] The tiger needs the cat.[(((triple15) -> rule5))] The tiger visits the cat.[(((triple9 triple11) -> rule6))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow needs the cat.
("cow" "needs" "cat" "+")
triple7
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple8
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple9
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple10
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple11
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple12
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple16
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple2) -> (rule5 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The mouse needs the cow.
("mouse" "needs" "cow" "+")
((triple9) -> (rule1 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
((triple11) -> (rule4 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
((triple15) -> (rule5 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
((triple9 triple11) -> (rule6 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1