The bald eagle eats the lion. The bald eagle sees the bear. The bald eagle sees the cat. The bear chases the cat. The bear chases the lion. The bear is green. The bear is young. The cat chases the bald eagle. The cat chases the lion. The cat is nice. The cat is young. The lion eats the bald eagle. The lion eats the bear. The lion eats the cat. The lion is green. If something eats the bear then it is cold. If something chases the bear and the bear sees the cat then the bear is cold. If something is nice then it eats the lion. If something chases the cat then it chases the bear. If something eats the lion and it sees the bear then the lion sees the bear. If something sees the lion and the lion chases the bald eagle then it sees the cat. If something eats the bald eagle then the bald eagle chases the cat. If something chases the bear and the bear eats the lion then it chases the cat.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is green.
("lion" "is" "green" "+")
If something eats the bear then it is cold.
((("something" "eats" "bear" "+")) -> ("something" "is" "cold" "+"))
If something chases the bear and the bear sees the cat then the bear is cold.
((("something" "chases" "bear" "+") ("bear" "sees" "cat" "+")) -> ("bear" "is" "cold" "+"))
If something is nice then it eats the lion.
((("something" "is" "nice" "+")) -> ("something" "eats" "lion" "+"))
If something chases the cat then it chases the bear.
((("something" "chases" "cat" "+")) -> ("something" "chases" "bear" "+"))
If something eats the lion and it sees the bear then the lion sees the bear.
((("something" "eats" "lion" "+") ("something" "sees" "bear" "+")) -> ("lion" "sees" "bear" "+"))
If something sees the lion and the lion chases the bald eagle then it sees the cat.
((("something" "sees" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("something" "sees" "cat" "+"))
If something eats the bald eagle then the bald eagle chases the cat.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If something chases the bear and the bear eats the lion then it chases the cat.
((("something" "chases" "bear" "+") ("bear" "eats" "lion" "+")) -> ("something" "chases" "cat" "+"))
The bear chases the cat.
True
1
proof
[(triple4)]
("bear" "chases" "cat" "+")
triple4
The lion does not eat the bear.
False
1
inv-proof
[(triple13)]
("lion" "eats" "bear" "-")
triple13
The bald eagle chases the cat.
True
2
proof
[(((triple12) -> rule7))]
("bald eagle" "chases" "cat" "+")
((triple12) -> (rule7 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle does not chase the cat.
False
2
inv-proof
[(((triple12) -> rule7))]
("bald eagle" "chases" "cat" "-")
((triple12) -> (rule7 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the bear.
True
3
proof
[(((((triple12) -> rule7)) -> rule4))]
("bald eagle" "chases" "bear" "+")
((((triple12) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle does not chase the bear.
False
3
inv-proof
[(((((triple12) -> rule7)) -> rule4))]
("bald eagle" "chases" "bear" "-")
((((triple12) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The lion does not chase the cat.
Unknown
inv-rconc
[@2: The lion chases the cat.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("lion" "chases" "cat" "-")
The cat is cold.
Unknown
rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "cold" "+")
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "lion" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
The cat does not eat the bald eagle.
Unknown
inv-random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle sees the cat.[(triple3)] The bear chases the cat.[(triple4)] The bear chases the lion.[(triple5)] The bear is green.[(triple6)] The bear is young.[(triple7)] The cat chases the bald eagle.[(triple8)] The cat chases the lion.[(triple9)] The cat is nice.[(triple10)] The cat is young.[(triple11)] The lion eats the bald eagle.[(triple12)] The lion eats the bear.[(triple13)] The lion eats the cat.[(triple14)] The lion is green.[(triple15)] @1: The bald eagle chases the cat.[(((triple12) -> rule7))] The bear chases the bear.[(((triple4) -> rule4))] The cat eats the lion.[(((triple10) -> rule3))] The lion is cold.[(((triple13) -> rule1))] The lion sees the bear.[(((triple1 triple2) -> rule5))] @2: The bald eagle chases the bear.[(((((triple12) -> rule7)) -> rule4))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The bear chases the cat.
("bear" "chases" "cat" "+")
triple4
The bear chases the lion.
("bear" "chases" "lion" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple8
The cat chases the lion.
("cat" "chases" "lion" "+")
triple9
The cat is nice.
("cat" "is" "nice" "+")
triple10
The cat is young.
("cat" "is" "young" "+")
triple11
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple12
The lion eats the bear.
("lion" "eats" "bear" "+")
triple13
The lion eats the cat.
("lion" "eats" "cat" "+")
triple14
The lion is green.
("lion" "is" "green" "+")
triple15
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((triple12) -> (rule7 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple4) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple10) -> (rule3 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((triple13) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion sees the bear.
("lion" "sees" "bear" "+")
((triple1 triple2) -> (rule5 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((((triple12) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2