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