The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is rough. The bald eagle needs the tiger. The bald eagle sees the tiger. The bald eagle does not visit the tiger. The tiger is not rough. The tiger is not round. The tiger needs the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. If someone is kind and not blue then they need the tiger. If someone sees the bald eagle and the bald eagle visits the tiger then the tiger does not visit the bald eagle. If the tiger visits the bald eagle and the tiger is round then the tiger sees the bald eagle. If the tiger needs the bald eagle and the bald eagle is round then the tiger sees the bald eagle. If the bald eagle is big and the bald eagle is kind then the bald eagle is not round. If someone is kind then they do not see the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone is kind and not blue then they need the tiger.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "needs" "tiger" "+"))
If someone sees the bald eagle and the bald eagle visits the tiger then the tiger does not visit the bald eagle.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "visits" "tiger" "+")) -> ("tiger" "visits" "bald eagle" "-"))
If the tiger visits the bald eagle and the tiger is round then the tiger sees the bald eagle.
((("tiger" "visits" "bald eagle" "+") ("tiger" "is" "round" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If the tiger needs the bald eagle and the bald eagle is round then the tiger sees the bald eagle.
((("tiger" "needs" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If the bald eagle is big and the bald eagle is kind then the bald eagle is not round.
((("bald eagle" "is" "big" "+") ("bald eagle" "is" "kind" "+")) -> ("bald eagle" "is" "round" "-"))
If someone is kind then they do not see the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "bald eagle" "-"))
The bald eagle sees the tiger.
True
1
proof
[(triple6)]
("bald eagle" "sees" "tiger" "+")
triple6
The bald eagle is not kind.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "kind" "-")
triple3
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The bald eagle does not visit the tiger.[(triple7)] The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bald eagle sees the tiger.[(triple6)] The tiger is not rough.[(triple8)] The tiger is not round.[(triple9)] The tiger needs the bald eagle.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The bald eagle does not see the bald eagle.[(((triple3) -> rule6))] The bald eagle is not round.[(((triple1 triple3) -> rule5))]
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple7
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple5
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple6
The tiger is not rough.
("tiger" "is" "rough" "-")
triple8
The tiger is not round.
("tiger" "is" "round" "-")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple11
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple12
The bald eagle does not see the bald eagle.
("bald eagle" "sees" "bald eagle" "-")
((triple3) -> (rule6 % int1))
The bald eagle does not see the bald eagle.
("bald eagle" "sees" "bald eagle" "-")
int1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
((triple1 triple3) -> (rule5 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1