The cow eats the tiger. The cow visits the squirrel. The rabbit eats the cow. The rabbit eats the squirrel. The squirrel visits the cow. The tiger chases the cow. The tiger is young. If the cow eats the squirrel then the cow chases the rabbit. If someone eats the tiger then the tiger eats the cow. If the tiger visits the squirrel and the squirrel is young then the tiger visits the cow.
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the cow eats the squirrel then the cow chases the rabbit.
((("cow" "eats" "squirrel" "+")) -> ("cow" "chases" "rabbit" "+"))
If someone eats the tiger then the tiger eats the cow.
((("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "cow" "+"))
If the tiger visits the squirrel and the squirrel is young then the tiger visits the cow.
((("tiger" "visits" "squirrel" "+") ("squirrel" "is" "young" "+")) -> ("tiger" "visits" "cow" "+"))
The tiger chases the cow.
True
1
proof
[(triple6)]
("tiger" "chases" "cow" "+")
triple6
The cow does not eat the tiger.
False
1
inv-proof
[(triple1)]
("cow" "eats" "tiger" "-")
triple1
The tiger eats the cow.
True
2
proof
[(((triple1) -> rule2))]
("tiger" "eats" "cow" "+")
((triple1) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger does not eat the cow.
False
2
inv-proof
[(((triple1) -> rule2))]
("tiger" "eats" "cow" "-")
((triple1) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger does not visit the cow.
Unknown
inv-rconc
[@1: The tiger visits the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "visits" "cow" "-")
The cow chases the rabbit.
Unknown
rconc
[@1: The cow chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "rabbit" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The cow eats the rabbit.
Unknown
random
[@0: The cow eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "rabbit" "+")
@0: The cow eats the tiger.[(triple1)] The cow visits the squirrel.[(triple2)] The rabbit eats the cow.[(triple3)] The rabbit eats the squirrel.[(triple4)] The squirrel visits the cow.[(triple5)] The tiger chases the cow.[(triple6)] The tiger is young.[(triple7)] @1: The tiger eats the cow.[(((triple1) -> rule2))]
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple4
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple5
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple6
The tiger is young.
("tiger" "is" "young" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
((triple1) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1