The cow chases the mouse. The cow sees the mouse. The cow visits the mouse. The mouse chases the cow. The mouse is blue. The mouse is red. The mouse is not young. The mouse does not visit the squirrel. The squirrel chases the mouse. The squirrel does not see the cow. If something chases the squirrel then the squirrel chases the cow. If something is young and not red then it chases the squirrel. If something visits the mouse and it is not young then the mouse is blue. If something sees the mouse and the mouse is not young then the mouse chases the squirrel. If something sees the mouse and it visits the cow then it is not nice. If something sees the mouse and it is not big then the mouse is nice. If something chases the squirrel and it visits the mouse then it visits the cow. If something is big and it does not chase the squirrel then it does not chase the cow.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
If something chases the squirrel then the squirrel chases the cow.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
If something is young and not red then it chases the squirrel.
((("something" "is" "young" "+") ("something" "is" "red" "~")) -> ("something" "chases" "squirrel" "+"))
If something visits the mouse and it is not young then the mouse is blue.
((("something" "visits" "mouse" "+") ("something" "is" "young" "~")) -> ("mouse" "is" "blue" "+"))
If something sees the mouse and the mouse is not young then the mouse chases the squirrel.
((("something" "sees" "mouse" "+") ("mouse" "is" "young" "~")) -> ("mouse" "chases" "squirrel" "+"))
If something sees the mouse and it visits the cow then it is not nice.
((("something" "sees" "mouse" "+") ("something" "visits" "cow" "+")) -> ("something" "is" "nice" "-"))
If something sees the mouse and it is not big then the mouse is nice.
((("something" "sees" "mouse" "+") ("something" "is" "big" "~")) -> ("mouse" "is" "nice" "+"))
If something chases the squirrel and it visits the mouse then it visits the cow.
((("something" "chases" "squirrel" "+") ("something" "visits" "mouse" "+")) -> ("something" "visits" "cow" "+"))
If something is big and it does not chase the squirrel then it does not chase the cow.
((("something" "is" "big" "+") ("something" "chases" "squirrel" "~")) -> ("something" "chases" "cow" "-"))
The mouse is not young.
True
1
proof
[(triple7)]
("mouse" "is" "young" "-")
triple7
The cow does not see the mouse.
False
1
inv-proof
[(triple2)]
("cow" "sees" "mouse" "-")
triple2
The mouse chases the squirrel.
True
3
proof
[(((triple2 triple7) -> rule4))]
("mouse" "chases" "squirrel" "+")
((triple2 triple7) -> (rule4 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse does not chase the squirrel.
False
3
inv-proof
[(((triple2 triple7) -> rule4))]
("mouse" "chases" "squirrel" "-")
((triple2 triple7) -> (rule4 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The cow does not chase the squirrel.
Unknown
inv-rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "squirrel" "-")
The mouse is nice.
Unknown
rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "nice" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The cow chases the mouse.[(triple1)] The cow sees the mouse.[(triple2)] The cow visits the mouse.[(triple3)] The mouse chases the cow.[(triple4)] The mouse does not visit the squirrel.[(triple8)] The mouse is blue.[(triple5)] The mouse is not young.[(triple7)] The mouse is red.[(triple6)] The squirrel chases the mouse.[(triple9)] The squirrel does not see the cow.[(triple10)] @1: The mouse chases the squirrel.[(((triple2 triple7) -> rule4))] @2: The squirrel chases the cow.[(((((triple2 triple7) -> rule4)) -> rule1))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple3
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple4
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is not young.
("mouse" "is" "young" "-")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
triple10
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((triple2 triple7) -> (rule4 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((((triple2 triple7) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int2