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