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