The bald eagle needs the rabbit. The bald eagle visits the rabbit. The rabbit is kind. If something needs the rabbit and the rabbit eats the bald eagle then the rabbit needs the bald eagle. If something needs the rabbit then the rabbit needs the bald eagle. If the bald eagle is kind and the bald eagle is blue then the bald eagle eats the rabbit. If something needs the bald eagle then the bald eagle visits the rabbit. If something needs the bald eagle then it visits the rabbit. If something eats the rabbit and the rabbit visits the bald eagle then it eats the bald eagle.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If something needs the rabbit and the rabbit eats the bald eagle then the rabbit needs the bald eagle.
((("something" "needs" "rabbit" "+") ("rabbit" "eats" "bald eagle" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If something needs the rabbit then the rabbit needs the bald eagle.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If the bald eagle is kind and the bald eagle is blue then the bald eagle eats the rabbit.
((("bald eagle" "is" "kind" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If something needs the bald eagle then the bald eagle visits the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If something needs the bald eagle then it visits the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("something" "visits" "rabbit" "+"))
If something eats the rabbit and the rabbit visits the bald eagle then it eats the bald eagle.
((("something" "eats" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
The bald eagle needs the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "needs" "rabbit" "+")
triple1
The rabbit is not kind.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "kind" "-")
triple3
The rabbit needs the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("rabbit" "needs" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit does not need the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("rabbit" "needs" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit visits the rabbit.
True
3
proof
[(((((triple1) -> rule2)) -> rule5))]
("rabbit" "visits" "rabbit" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit does not visit the rabbit.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule5))]
("rabbit" "visits" "rabbit" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
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 = (rule6 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The rabbit does not eat the bald eagle.
Unknown
inv-rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The bald eagle visits the rabbit.[(triple2 OR ((((triple1) -> rule2)) -> rule4))] The rabbit is kind.[(triple3)] @1: The rabbit needs the bald eagle.[(((triple1) -> rule2))] @2: The rabbit visits the rabbit.[(((((triple1) -> rule2)) -> rule5))]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple2
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2