The bald eagle needs the rabbit. The rabbit is cold. The tiger is big. If the bald eagle needs the rabbit then the bald eagle visits the rabbit.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The tiger is big.
("tiger" "is" "big" "+")
If the bald eagle needs the rabbit then the bald eagle visits the rabbit.
((("bald eagle" "needs" "rabbit" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
The rabbit is cold.
True
1
proof
[(triple2)]
("rabbit" "is" "cold" "+")
triple2
The bald eagle does not need the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "rabbit" "-")
triple1
The bald eagle visits the rabbit.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "visits" "rabbit" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle does not visit the rabbit.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "visits" "rabbit" "-")
((triple1) -> (rule1 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The tiger needs the rabbit.
Unknown
random
[@0: The tiger needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "rabbit" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The rabbit is cold.[(triple2)] The tiger is big.[(triple3)] @1: The bald eagle visits the rabbit.[(((triple1) -> rule1))]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2
The tiger is big.
("tiger" "is" "big" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1