The bald eagle is blue. The bald eagle is not kind. The bald eagle likes the tiger. The bald eagle sees the tiger. The bald eagle does not visit the tiger. The tiger is cold. The tiger is young. The tiger likes the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. If someone is blue and they visit the tiger then they are cold. If someone sees the bald eagle and the bald eagle visits the tiger then the bald eagle sees the tiger. If someone visits the tiger and the tiger sees the bald eagle then they see the tiger. If someone is kind then they visit the bald eagle. If someone likes the tiger and the tiger visits the bald eagle then they like the bald eagle. If someone likes the bald eagle and the bald eagle does not see the tiger then the bald eagle likes the tiger.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle likes the tiger.
("bald eagle" "likes" "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 cold.
("tiger" "is" "cold" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bald eagle.
("tiger" "likes" "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 blue and they visit the tiger then they are cold.
((("someone" "is" "blue" "+") ("someone" "visits" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the bald eagle and the bald eagle visits the tiger then the bald eagle sees the tiger.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "visits" "tiger" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If someone visits the tiger and the tiger sees the bald eagle then they see the tiger.
((("someone" "visits" "tiger" "+") ("tiger" "sees" "bald eagle" "+")) -> ("someone" "sees" "tiger" "+"))
If someone is kind then they visit the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone likes the tiger and the tiger visits the bald eagle then they like the bald eagle.
((("someone" "likes" "tiger" "+") ("tiger" "visits" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle does not see the tiger then the bald eagle likes the tiger.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "sees" "tiger" "~")) -> ("bald eagle" "likes" "tiger" "+"))
The bald eagle is not kind.
True
1
proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The bald eagle is kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "+")
triple2
The bald eagle likes the bald eagle.
True
3
proof
[(((triple3 triple10) -> rule5))]
("bald eagle" "likes" "bald eagle" "+")
((triple3 triple10) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
3
inv-proof
[(((triple3 triple10) -> rule5))]
("bald eagle" "likes" "bald eagle" "-")
((triple3 triple10) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle is cold.
Unknown
rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle does not visit the tiger.[(triple5)] The bald eagle is blue.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the tiger.[(triple4)] The tiger is cold.[(triple6)] The tiger is young.[(triple7)] The tiger likes the bald eagle.[(triple8)] The tiger sees the bald eagle.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple3 triple10) -> rule5))]
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple4
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger is young.
("tiger" "is" "young" "+")
triple7
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple8
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple3 triple10) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1