The bald eagle eats the tiger. The bald eagle sees the tiger. The bald eagle visits the cat. The cat eats the lion. The cat is nice. The lion eats the bald eagle. The lion eats the tiger. The lion is big. The lion sees the bald eagle. The lion visits the tiger. The tiger is red. The tiger is rough. The tiger sees the bald eagle. The tiger sees the lion. The tiger visits the cat. If something eats the tiger then it eats the lion. If something is green then it sees the lion.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is nice.
("cat" "is" "nice" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something eats the tiger then it eats the lion.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "lion" "+"))
If something is green then it sees the lion.
((("something" "is" "green" "+")) -> ("something" "sees" "lion" "+"))
The bald eagle eats the tiger.
True
1
proof
[(triple1)]
("bald eagle" "eats" "tiger" "+")
triple1
The tiger is not red.
False
1
inv-proof
[(triple11)]
("tiger" "is" "red" "-")
triple11
The bald eagle eats the lion.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "lion" "-")
((triple1) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The cat does not see the lion.
Unknown
inv-rconc
[@1: The cat sees the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "lion" "-")
The lion sees the lion.
Unknown
rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "sees" "lion" "+")
The bald eagle does not see the cat.
Unknown
inv-random
[@0: The bald eagle sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cat" "-")
The tiger eats the bald eagle.
Unknown
random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle sees the tiger.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat eats the lion.[(triple4)] The cat is nice.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion eats the tiger.[(triple7)] The lion is big.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion visits the tiger.[(triple10)] The tiger is red.[(triple11)] The tiger is rough.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger sees the lion.[(triple14)] The tiger visits the cat.[(triple15)] @1: The bald eagle eats the lion.[(((triple1) -> rule1))] The lion eats the lion.[(((triple7) -> rule1))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The cat eats the lion.
("cat" "eats" "lion" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple6
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple9
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple13
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple15
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple7) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1