The bald eagle chases the cat. The bald eagle is big. The bald eagle is red. The bald eagle is young. The bald eagle likes the cat. The bald eagle does not need the cat. The cat is big. The cat is blue. The cat does not like the bald eagle. The cat needs the bald eagle. If the cat is kind then the cat needs the bald eagle. If someone is young and they like the cat then the cat needs the bald eagle. If someone needs the bald eagle and they are not young then they are red. If someone needs the bald eagle then they chase the bald eagle. If someone is kind and blue then they like the bald eagle. If the bald eagle likes the cat and the cat likes the bald eagle then the cat does not chase the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If the cat is kind then the cat needs the bald eagle.
((("cat" "is" "kind" "+")) -> ("cat" "needs" "bald eagle" "+"))
If someone is young and they like the cat then the cat needs the bald eagle.
((("someone" "is" "young" "+") ("someone" "likes" "cat" "+")) -> ("cat" "needs" "bald eagle" "+"))
If someone needs the bald eagle and they are not young then they are red.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "red" "+"))
If someone needs the bald eagle then they chase the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is kind and blue then they like the bald eagle.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the bald eagle likes the cat and the cat likes the bald eagle then the cat does not chase the bald eagle.
((("bald eagle" "likes" "cat" "+") ("cat" "likes" "bald eagle" "+")) -> ("cat" "chases" "bald eagle" "-"))
The bald eagle is red.
True
1
proof
[(triple3)]
("bald eagle" "is" "red" "+")
triple3
The cat is not blue.
False
1
inv-proof
[(triple8)]
("cat" "is" "blue" "-")
triple8
The cat chases the bald eagle.
True
2
proof
[(((triple10) -> rule4) OR ((((triple4 triple5) -> rule2)) -> rule4))]
("cat" "chases" "bald eagle" "+")
((triple10) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
((((triple4 triple5) -> (rule2 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
The cat does not chase the bald eagle.
False
2
inv-proof
[(((triple10) -> rule4) OR ((((triple4 triple5) -> rule2)) -> rule4))]
("cat" "chases" "bald eagle" "-")
((triple10) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
((((triple4 triple5) -> (rule2 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "red" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not need the cat.[(triple6)] The bald eagle is big.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the cat.[(triple5)] The cat does not like the bald eagle.[(triple9)] The cat is big.[(triple7)] The cat is blue.[(triple8)] The cat needs the bald eagle.[(triple10 OR ((triple4 triple5) -> rule2))] @1: The cat chases the bald eagle.[(((triple10) -> rule4) OR ((((triple4 triple5) -> rule2)) -> rule4))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
triple6
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple5
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
triple9
The cat is big.
("cat" "is" "big" "+")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple8
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple10
((triple4 triple5) -> (rule2 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple10) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
((((triple4 triple5) -> (rule2 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2