The bald eagle eats the tiger. The bald eagle is nice. The bald eagle needs the lion. The bald eagle sees the cat. The cat is rough. The cat needs the bald eagle. The lion eats the cat. The lion is nice. The lion is young. The lion needs the cat. The tiger eats the bald eagle. The tiger is nice. The tiger is rough. The tiger needs the lion. The tiger sees the cat. If someone is green then they see the cat. If someone sees the cat then the cat sees the tiger. If the cat sees the lion then the lion sees the cat. If someone sees the lion and the lion is nice then the lion needs the bald eagle. If someone eats the tiger and the tiger sees the cat then the cat sees the tiger. If someone is rough and they eat the cat then they need the lion. If the bald eagle eats the cat and the bald eagle is nice then the bald eagle eats the lion. If someone sees the bald eagle and they are kind then they eat the cat.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If someone is green then they see the cat.
((("someone" "is" "green" "+")) -> ("someone" "sees" "cat" "+"))
If someone sees the cat then the cat sees the tiger.
((("someone" "sees" "cat" "+")) -> ("cat" "sees" "tiger" "+"))
If the cat sees the lion then the lion sees the cat.
((("cat" "sees" "lion" "+")) -> ("lion" "sees" "cat" "+"))
If someone sees the lion and the lion is nice then the lion needs the bald eagle.
((("someone" "sees" "lion" "+") ("lion" "is" "nice" "+")) -> ("lion" "needs" "bald eagle" "+"))
If someone eats the tiger and the tiger sees the cat then the cat sees the tiger.
((("someone" "eats" "tiger" "+") ("tiger" "sees" "cat" "+")) -> ("cat" "sees" "tiger" "+"))
If someone is rough and they eat the cat then they need the lion.
((("someone" "is" "rough" "+") ("someone" "eats" "cat" "+")) -> ("someone" "needs" "lion" "+"))
If the bald eagle eats the cat and the bald eagle is nice then the bald eagle eats the lion.
((("bald eagle" "eats" "cat" "+") ("bald eagle" "is" "nice" "+")) -> ("bald eagle" "eats" "lion" "+"))
If someone sees the bald eagle and they are kind then they eat the cat.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("someone" "eats" "cat" "+"))
The cat is rough.
True
1
proof
[(triple5)]
("cat" "is" "rough" "+")
triple5
The cat does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("cat" "needs" "bald eagle" "-")
triple6
The cat sees the tiger.
True
2
proof
[(((triple15) -> rule2) OR ((triple4) -> rule2) OR ((triple1 triple15) -> rule5))]
("cat" "sees" "tiger" "+")
((triple15) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple4) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple1 triple15) -> (rule5 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The cat does not see the tiger.
False
2
inv-proof
[(((triple15) -> rule2) OR ((triple4) -> rule2) OR ((triple1 triple15) -> rule5))]
("cat" "sees" "tiger" "-")
((triple15) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple4) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple1 triple15) -> (rule5 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The bald eagle does not eat the lion.
Unknown
inv-rconc
[@2: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("bald eagle" "eats" "lion" "-")
The bald eagle eats the cat.
Unknown
rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The cat does not need the tiger.
Unknown
inv-random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat is rough.[(triple5)] The cat needs the bald eagle.[(triple6)] The lion eats the cat.[(triple7)] The lion is nice.[(triple8)] The lion is young.[(triple9)] The lion needs the cat.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the lion.[(triple14)] The tiger sees the cat.[(triple15)] @1: The cat sees the tiger.[(((triple15) -> rule2) OR ((triple4) -> rule2) OR ((triple1 triple15) -> rule5))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
The lion eats the cat.
("lion" "eats" "cat" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion is young.
("lion" "is" "young" "+")
triple9
The lion needs the cat.
("lion" "needs" "cat" "+")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple14
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple15
The cat sees the tiger.
("cat" "sees" "tiger" "+")
((triple15) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple4) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple1 triple15) -> (rule5 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1