The bald eagle sees the rabbit. The rabbit is blue. If the rabbit needs the bald eagle and the rabbit sees the bald eagle then the rabbit is kind. If someone is kind then they chase the rabbit. If someone sees the bald eagle then they are young. If someone sees the rabbit and the rabbit is rough then the rabbit is kind. If the rabbit chases the bald eagle then the rabbit is rough. If someone needs the bald eagle and the bald eagle is blue then the bald eagle chases the rabbit. If someone sees the rabbit then they need the bald eagle. If the bald eagle chases the rabbit then the rabbit sees the bald eagle.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If the rabbit needs the bald eagle and the rabbit sees the bald eagle then the rabbit is kind.
((("rabbit" "needs" "bald eagle" "+") ("rabbit" "sees" "bald eagle" "+")) -> ("rabbit" "is" "kind" "+"))
If someone is kind then they chase the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone sees the bald eagle then they are young.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If someone sees the rabbit and the rabbit is rough then the rabbit is kind.
((("someone" "sees" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "is" "kind" "+"))
If the rabbit chases the bald eagle then the rabbit is rough.
((("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "is" "rough" "+"))
If someone needs the bald eagle and the bald eagle is blue then the bald eagle chases the rabbit.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If someone sees the rabbit then they need the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("someone" "needs" "bald eagle" "+"))
If the bald eagle chases the rabbit then the rabbit sees the bald eagle.
((("bald eagle" "chases" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
The rabbit is blue.
True
1
proof
[(triple2)]
("rabbit" "is" "blue" "+")
triple2
The rabbit is not blue.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "blue" "-")
triple2
The bald eagle needs the bald eagle.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "needs" "bald eagle" "+")
((triple1) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not need the bald eagle.
False
2
inv-proof
[(((triple1) -> rule7))]
("bald eagle" "needs" "bald eagle" "-")
((triple1) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The rabbit is not young.
Unknown
inv-rconc
[@3: The rabbit is young.[CWA. Example of deepest failure = (rule3 <- rule8 <- rule2 <- FAIL)]]
("rabbit" "is" "young" "-")
The rabbit is kind.
Unknown
rconc
[@2: The rabbit is kind.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("rabbit" "is" "kind" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The rabbit is blue.[(triple2)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule7))]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple1) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1