The bald eagle eats the lion. The bald eagle eats the tiger. The bald eagle is red. The bald eagle sees the cat. The cat chases the lion. The cat is red. The cat is rough. The cat sees the tiger. The lion chases the bald eagle. The lion chases the cat. The lion eats the cat. The lion is red. The lion sees the bald eagle. The lion sees the cat. The tiger chases the cat. The tiger is big. If something chases the cat and the cat is red then the cat eats the lion. If the cat eats the tiger and the tiger is kind then the tiger is rough. If something sees the bald eagle and the bald eagle eats the lion then the lion is kind. If the cat chases the bald eagle and the bald eagle eats the lion then the cat eats the tiger. If something is nice and it eats the lion then it sees the bald eagle. If something eats the lion then the lion chases the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is red.
("lion" "is" "red" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
If something chases the cat and the cat is red then the cat eats the lion.
((("something" "chases" "cat" "+") ("cat" "is" "red" "+")) -> ("cat" "eats" "lion" "+"))
If the cat eats the tiger and the tiger is kind then the tiger is rough.
((("cat" "eats" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "is" "rough" "+"))
If something sees the bald eagle and the bald eagle eats the lion then the lion is kind.
((("something" "sees" "bald eagle" "+") ("bald eagle" "eats" "lion" "+")) -> ("lion" "is" "kind" "+"))
If the cat chases the bald eagle and the bald eagle eats the lion then the cat eats the tiger.
((("cat" "chases" "bald eagle" "+") ("bald eagle" "eats" "lion" "+")) -> ("cat" "eats" "tiger" "+"))
If something is nice and it eats the lion then it sees the bald eagle.
((("something" "is" "nice" "+") ("something" "eats" "lion" "+")) -> ("something" "sees" "bald eagle" "+"))
If something eats the lion then the lion chases the bald eagle.
((("something" "eats" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
The cat sees the tiger.
True
1
proof
[(triple8)]
("cat" "sees" "tiger" "+")
triple8
The cat does not see the tiger.
False
1
inv-proof
[(triple8)]
("cat" "sees" "tiger" "-")
triple8
The cat eats the lion.
True
3
proof
[(((triple10 triple6) -> rule1) OR ((triple15 triple6) -> rule1))]
("cat" "eats" "lion" "+")
((triple10 triple6) -> (rule1 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
((triple15 triple6) -> (rule1 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The lion is not kind.
False
3
inv-proof
[(((triple13 triple1) -> rule3))]
("lion" "is" "kind" "-")
((triple13 triple1) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The tiger sees the bald eagle.
Unknown
rconc
[@1: The tiger sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "sees" "bald eagle" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
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 lion.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat chases the lion.[(triple5)] The cat is red.[(triple6)] The cat is rough.[(triple7)] The cat sees the tiger.[(triple8)] The lion chases the bald eagle.[(triple9 OR ((triple1) -> rule6) OR ((((triple10 triple6) -> rule1)) -> rule6) OR ((((triple15 triple6) -> rule1)) -> rule6))] The lion chases the cat.[(triple10)] The lion eats the cat.[(triple11)] The lion is red.[(triple12)] The lion sees the bald eagle.[(triple13)] The lion sees the cat.[(triple14)] The tiger chases the cat.[(triple15)] The tiger is big.[(triple16)] @1: The cat eats the lion.[(((triple10 triple6) -> rule1) OR ((triple15 triple6) -> rule1))] The lion is kind.[(((triple13 triple1) -> rule3))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
The cat chases the lion.
("cat" "chases" "lion" "+")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
((triple1) -> (rule6 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
((((triple10 triple6) -> (rule1 % int2))) -> (rule6 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
((((triple15 triple6) -> (rule1 % int2))) -> (rule6 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The lion chases the cat.
("lion" "chases" "cat" "+")
triple10
The lion eats the cat.
("lion" "eats" "cat" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple13
The lion sees the cat.
("lion" "sees" "cat" "+")
triple14
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple15
The tiger is big.
("tiger" "is" "big" "+")
triple16
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple10 triple6) -> (rule1 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
((triple15 triple6) -> (rule1 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple13 triple1) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1