The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is not green. The bald eagle visits the tiger. The tiger eats the bald eagle. The tiger visits the bald eagle. If someone is round and they visit the bald eagle then they eat the bald eagle. If the bald eagle visits the tiger then the bald eagle is kind. If someone is kind and they do not eat the bald eagle then the bald eagle chases the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone is round and they visit the bald eagle then they eat the bald eagle.
((("someone" "is" "round" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the bald eagle visits the tiger then the bald eagle is kind.
((("bald eagle" "visits" "tiger" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone is kind and they do not eat the bald eagle then the bald eagle chases the tiger.
((("someone" "is" "kind" "+") ("someone" "eats" "bald eagle" "~")) -> ("bald eagle" "chases" "tiger" "+"))
The bald eagle is not green.
True
1
proof
[(triple4)]
("bald eagle" "is" "green" "-")
triple4
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "tiger" "-")
triple1
The bald eagle is kind.
True
2
proof
[(((triple5) -> rule2))]
("bald eagle" "is" "kind" "+")
((triple5) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple5) -> rule2))]
("bald eagle" "is" "kind" "-")
((triple5) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is not green.[(triple4)] The bald eagle visits the tiger.[(triple5)] The tiger eats the bald eagle.[(triple6)] The tiger visits the bald eagle.[(triple7)] @1: The bald eagle is kind.[(((triple5) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple6
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple7
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple5) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1