The bald eagle is blue. The bald eagle is not nice. The bald eagle is rough. The bald eagle is round. The bald eagle likes the cat. The bald eagle does not need the cat. The bald eagle sees the cat. The cat is nice. The cat is rough. The cat is round. The cat likes the bald eagle. The cat needs the bald eagle. If someone is blue and nice then they do not see the bald eagle. If someone likes the cat and they are not blue then the cat is rough. If someone likes the cat then the cat is not big. If someone is nice then they like the bald eagle. If someone sees the bald eagle and they need the cat then the bald eagle likes the cat. If someone sees the bald eagle then they like the cat.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If someone is blue and nice then they do not see the bald eagle.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone likes the cat and they are not blue then the cat is rough.
((("someone" "likes" "cat" "+") ("someone" "is" "blue" "~")) -> ("cat" "is" "rough" "+"))
If someone likes the cat then the cat is not big.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "big" "-"))
If someone is nice then they like the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone sees the bald eagle and they need the cat then the bald eagle likes the cat.
((("someone" "sees" "bald eagle" "+") ("someone" "needs" "cat" "+")) -> ("bald eagle" "likes" "cat" "+"))
If someone sees the bald eagle then they like the cat.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "likes" "cat" "+"))
The bald eagle is round.
True
1
proof
[(triple4)]
("bald eagle" "is" "round" "+")
triple4
The bald eagle does not see the cat.
False
1
inv-proof
[(triple7)]
("bald eagle" "sees" "cat" "-")
triple7
The cat is not big.
True
2
proof
[(((triple5) -> rule3))]
("cat" "is" "big" "-")
((triple5) -> (rule3 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The cat is big.
False
2
inv-proof
[(((triple5) -> rule3))]
("cat" "is" "big" "+")
((triple5) -> (rule3 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
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 = (rule4 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "cat" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle does not need the cat.[(triple6)] The bald eagle is blue.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle sees the cat.[(triple7)] The cat is nice.[(triple8)] The cat is rough.[(triple9)] The cat is round.[(triple10)] The cat likes the bald eagle.[(triple11 OR ((triple8) -> rule4))] The cat needs the bald eagle.[(triple12)] @1: The cat is not big.[(((triple5) -> rule3))]
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
triple6
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple5
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple7
The cat is nice.
("cat" "is" "nice" "+")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple9
The cat is round.
("cat" "is" "round" "+")
triple10
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple11
((triple8) -> (rule4 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple12
The cat is not big.
("cat" "is" "big" "-")
((triple5) -> (rule3 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1