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