The bald eagle eats the tiger. The bald eagle is young. The bald eagle sees the cow. The cow eats the tiger. The lion is cold. The tiger needs the bald eagle. The tiger sees the cow. If the tiger eats the cow and the tiger sees the cow then the tiger is young. If something sees the tiger and it sees the lion then the lion eats the tiger. If something sees the lion and the lion needs the bald eagle then the bald eagle eats the tiger. If the lion is cold and the lion eats the tiger then the lion sees the cow. If something eats the tiger then it is big. If something is big and young then it sees the tiger. If something eats the tiger then the tiger needs the bald eagle. If something sees the bald eagle and the bald eagle sees the lion then it eats the bald eagle.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If the tiger eats the cow and the tiger sees the cow then the tiger is young.
((("tiger" "eats" "cow" "+") ("tiger" "sees" "cow" "+")) -> ("tiger" "is" "young" "+"))
If something sees the tiger and it sees the lion then the lion eats the tiger.
((("something" "sees" "tiger" "+") ("something" "sees" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
If something sees the lion and the lion needs the bald eagle then the bald eagle eats the tiger.
((("something" "sees" "lion" "+") ("lion" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If the lion is cold and the lion eats the tiger then the lion sees the cow.
((("lion" "is" "cold" "+") ("lion" "eats" "tiger" "+")) -> ("lion" "sees" "cow" "+"))
If something eats the tiger then it is big.
((("something" "eats" "tiger" "+")) -> ("something" "is" "big" "+"))
If something is big and young then it sees the tiger.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "sees" "tiger" "+"))
If something eats the tiger then the tiger needs the bald eagle.
((("something" "eats" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If something sees the bald eagle and the bald eagle sees the lion then it eats the bald eagle.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "lion" "+")) -> ("something" "eats" "bald eagle" "+"))
The bald eagle is young.
True
1
proof
[(triple2)]
("bald eagle" "is" "young" "+")
triple2
The cow does not eat the tiger.
False
1
inv-proof
[(triple4)]
("cow" "eats" "tiger" "-")
triple4
The bald eagle is big.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "is" "big" "+")
((triple1) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "is" "big" "-")
((triple1) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle sees the tiger.
True
4
proof
[(((((triple1) -> rule5) triple2) -> rule6))]
("bald eagle" "sees" "tiger" "+")
((((triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle does not see the tiger.
False
4
inv-proof
[(((((triple1) -> rule5) triple2) -> rule6))]
("bald eagle" "sees" "tiger" "-")
((((triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The lion does not see the tiger.
Unknown
inv-rconc
[@1: The lion sees the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "sees" "tiger" "-")
The tiger is young.
Unknown
rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "young" "+")
The tiger does not see the tiger.
Unknown
inv-rconc
[@2: The tiger sees the tiger.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The lion needs the cow.
Unknown
random
[@0: The lion needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "cow" "+")
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 tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow eats the tiger.[(triple4)] The lion is cold.[(triple5)] The tiger needs the bald eagle.[(triple6 OR ((triple1) -> rule7) OR ((triple4) -> rule7))] The tiger sees the cow.[(triple7)] @1: The bald eagle is big.[(((triple1) -> rule5))] The cow is big.[(((triple4) -> rule5))] @2: The bald eagle sees the tiger.[(((((triple1) -> rule5) triple2) -> rule6))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple6
((triple1) -> (rule7 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
((triple4) -> (rule7 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple7
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple1) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow is big.
("cow" "is" "big" "+")
((triple4) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
((((triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2