The bald eagle does not need the tiger. The cat likes the bald eagle. The squirrel likes the cat. The tiger needs the bald eagle. If someone likes the bald eagle then they like the squirrel. If someone chases the squirrel and they need the bald eagle then the bald eagle is red. If someone likes the cat then they are kind. All red people are kind. If the bald eagle is big and the bald eagle is red then the bald eagle chases the cat. If someone likes the squirrel then the squirrel is blue. If someone likes the squirrel and the squirrel is blue then the squirrel does not chase the cat. If someone needs the tiger and the tiger likes the cat then the tiger does not chase the bald eagle.
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone likes the bald eagle then they like the squirrel.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone chases the squirrel and they need the bald eagle then the bald eagle is red.
((("someone" "chases" "squirrel" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone likes the cat then they are kind.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "kind" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If the bald eagle is big and the bald eagle is red then the bald eagle chases the cat.
((("bald eagle" "is" "big" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "chases" "cat" "+"))
If someone likes the squirrel then the squirrel is blue.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If someone likes the squirrel and the squirrel is blue then the squirrel does not chase the cat.
((("someone" "likes" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "chases" "cat" "-"))
If someone needs the tiger and the tiger likes the cat then the tiger does not chase the bald eagle.
((("someone" "needs" "tiger" "+") ("tiger" "likes" "cat" "+")) -> ("tiger" "chases" "bald eagle" "-"))
The tiger needs the bald eagle.
True
1
proof
[(triple4)]
("tiger" "needs" "bald eagle" "+")
triple4
The bald eagle needs the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "tiger" "+")
triple1
The cat likes the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("cat" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple3) -> rule3))]
("squirrel" "is" "kind" "-")
((triple3) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is blue.
True
3
proof
[(((((triple2) -> rule1)) -> rule6))]
("squirrel" "is" "blue" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The squirrel is not blue.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule6))]
("squirrel" "is" "blue" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The squirrel does not chase the cat.
True
6
proof
[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule7))]
("squirrel" "chases" "cat" "-")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
The squirrel chases the cat.
False
6
inv-proof
[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule7))]
("squirrel" "chases" "cat" "+")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
The bald eagle does not chase the cat.
Unknown
inv-rconc
[@1: The bald eagle chases the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "cat" "-")
The bald eagle likes the squirrel.
Unknown
rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "squirrel" "+")
The bald eagle is not kind.
Unknown
inv-rconc
[@2: The bald eagle is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "kind" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The cat does not chase the bald eagle.
Unknown
inv-random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle does not need the tiger.[(triple1)] The cat likes the bald eagle.[(triple2)] The squirrel likes the cat.[(triple3)] The tiger needs the bald eagle.[(triple4)] @1: The cat likes the squirrel.[(((triple2) -> rule1))] The squirrel is kind.[(((triple3) -> rule3))] @2: The squirrel is blue.[(((((triple2) -> rule1)) -> rule6))] @3: The squirrel does not chase the cat.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule7))]
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple3
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple3) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3