The cow eats the squirrel. The cow is kind. The cow is nice. The mouse likes the squirrel. The squirrel chases the mouse. The squirrel eats the tiger. The tiger is big. If something is nice then it chases the cow. If something likes the tiger and it eats the mouse then the mouse eats the squirrel. If something chases the cow then the cow chases the squirrel.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
If something is nice then it chases the cow.
((("something" "is" "nice" "+")) -> ("something" "chases" "cow" "+"))
If something likes the tiger and it eats the mouse then the mouse eats the squirrel.
((("something" "likes" "tiger" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "eats" "squirrel" "+"))
If something chases the cow then the cow chases the squirrel.
((("something" "chases" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
The cow eats the squirrel.
True
1
proof
[(triple1)]
("cow" "eats" "squirrel" "+")
triple1
The squirrel does not eat the tiger.
False
1
inv-proof
[(triple6)]
("squirrel" "eats" "tiger" "-")
triple6
The cow chases the cow.
True
2
proof
[(((triple3) -> rule1))]
("cow" "chases" "cow" "+")
((triple3) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "chases" "cow" "-")
((triple3) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
True
3
proof
[(((((triple3) -> rule1)) -> rule3))]
("cow" "chases" "squirrel" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow does not chase the squirrel.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule3))]
("cow" "chases" "squirrel" "-")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The mouse does not chase the cow.
Unknown
inv-rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "cow" "-")
The tiger chases the cow.
Unknown
rconc
[@1: The tiger chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "cow" "+")
The mouse does not eat the squirrel.
Unknown
inv-rconc
[@1: The mouse eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "squirrel" "-")
The tiger likes the cow.
Unknown
random
[@0: The tiger likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "cow" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The tiger chases the squirrel.
Unknown
random
[@0: The tiger chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "squirrel" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The mouse likes the squirrel.[(triple4)] The squirrel chases the mouse.[(triple5)] The squirrel eats the tiger.[(triple6)] The tiger is big.[(triple7)] @1: The cow chases the cow.[(((triple3) -> rule1))] @2: The cow chases the squirrel.[(((((triple3) -> rule1)) -> rule3))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple4
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple5
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple3) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2