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