The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle eats the cat. The bald eagle eats the lion. The bald eagle is blue. The bald eagle is round. The bald eagle needs the cat. The bald eagle needs the lion. The cat chases the lion. The cat is green. The cat is kind. The cat is rough. The cat is round. The cat needs the lion. The lion needs the bald eagle. The lion needs the cat. If someone needs the bald eagle and the bald eagle chases the cat then the cat needs the bald eagle. If someone chases the cat then they chase the lion. If someone eats the cat and they are round then the cat is blue. Green people are blue. If someone needs the lion and the lion needs the bald eagle then the bald eagle is round. If the bald eagle needs the cat and the bald eagle eats the lion then the cat eats the lion.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If someone needs the bald eagle and the bald eagle chases the cat then the cat needs the bald eagle.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "chases" "cat" "+")) -> ("cat" "needs" "bald eagle" "+"))
If someone chases the cat then they chase the lion.
((("someone" "chases" "cat" "+")) -> ("someone" "chases" "lion" "+"))
If someone eats the cat and they are round then the cat is blue.
((("someone" "eats" "cat" "+") ("someone" "is" "round" "+")) -> ("cat" "is" "blue" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the lion and the lion needs the bald eagle then the bald eagle is round.
((("someone" "needs" "lion" "+") ("lion" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If the bald eagle needs the cat and the bald eagle eats the lion then the cat eats the lion.
((("bald eagle" "needs" "cat" "+") ("bald eagle" "eats" "lion" "+")) -> ("cat" "eats" "lion" "+"))
The bald eagle is round.
True
1
proof
[(triple6 OR ((triple14 triple15) -> rule5) OR ((triple8 triple15) -> rule5))]
("bald eagle" "is" "round" "+")
triple6
((triple14 triple15) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((triple8 triple15) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not blue.
False
1
inv-proof
[(triple5)]
("bald eagle" "is" "blue" "-")
triple5
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2 OR ((triple1) -> rule2))] The bald eagle eats the cat.[(triple3)] The bald eagle eats the lion.[(triple4)] The bald eagle is blue.[(triple5)] The bald eagle is round.[(triple6 OR ((triple14 triple15) -> rule5) OR ((triple8 triple15) -> rule5))] The bald eagle needs the cat.[(triple7)] The bald eagle needs the lion.[(triple8)] The cat chases the lion.[(triple9)] The cat is green.[(triple10)] The cat is kind.[(triple11)] The cat is rough.[(triple12)] The cat is round.[(triple13)] The cat needs the lion.[(triple14)] The lion needs the bald eagle.[(triple15)] The lion needs the cat.[(triple16)] @1: The cat eats the lion.[(((triple7 triple4) -> rule6))] The cat is blue.[(((triple10) -> rule4) OR ((triple3 triple6) -> rule3) OR ((triple3 ((triple14 triple15) -> rule5)) -> rule3) OR ((triple3 ((triple8 triple15) -> rule5)) -> rule3))] The cat needs the bald eagle.[(((triple15 triple1) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
((triple1) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
((triple14 triple15) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((triple8 triple15) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple7
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple8
The cat chases the lion.
("cat" "chases" "lion" "+")
triple9
The cat is green.
("cat" "is" "green" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
triple11
The cat is rough.
("cat" "is" "rough" "+")
triple12
The cat is round.
("cat" "is" "round" "+")
triple13
The cat needs the lion.
("cat" "needs" "lion" "+")
triple14
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple15
The lion needs the cat.
("lion" "needs" "cat" "+")
triple16
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple7 triple4) -> (rule6 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple10) -> (rule4 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((triple3 triple6) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((triple3 ((triple14 triple15) -> (rule5 % int2))) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
((triple3 ((triple8 triple15) -> (rule5 % int2))) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
((triple15 triple1) -> (rule1 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1