The bald eagle is cold. The lion eats the rabbit. The rabbit does not see the bald eagle. If someone eats the lion and the lion eats the bald eagle then they are not blue. If the bald eagle is cold and the bald eagle does not chase the lion then the bald eagle sees the rabbit. If someone is red and they eat the rabbit then the rabbit eats the lion. If someone is blue and they eat the bald eagle then they are rough. If someone is cold then they do not see the lion. If someone eats the lion and they are blue then the lion sees the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
If someone eats the lion and the lion eats the bald eagle then they are not blue.
((("someone" "eats" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("someone" "is" "blue" "-"))
If the bald eagle is cold and the bald eagle does not chase the lion then the bald eagle sees the rabbit.
((("bald eagle" "is" "cold" "+") ("bald eagle" "chases" "lion" "~")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone is red and they eat the rabbit then the rabbit eats the lion.
((("someone" "is" "red" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "lion" "+"))
If someone is blue and they eat the bald eagle then they are rough.
((("someone" "is" "blue" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold then they do not see the lion.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "lion" "-"))
If someone eats the lion and they are blue then the lion sees the bald eagle.
((("someone" "eats" "lion" "+") ("someone" "is" "blue" "+")) -> ("lion" "sees" "bald eagle" "+"))
The rabbit does not see the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "sees" "bald eagle" "-")
triple3
The lion does not eat the rabbit.
False
1
inv-proof
[(triple2)]
("lion" "eats" "rabbit" "-")
triple2
The bald eagle does not see the lion.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "lion" "-")
((triple1) -> (rule5 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1
The bald eagle sees the lion.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "lion" "+")
((triple1) -> (rule5 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1
The lion does not see the bald eagle.
Unknown
inv-rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The rabbit eats the lion.
Unknown
rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "lion" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
@0: The bald eagle is cold.[(triple1)] The lion eats the rabbit.[(triple2)] The rabbit does not see the bald eagle.[(triple3)] @1: The bald eagle does not see the lion.[(((triple1) -> rule5))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple2
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
triple3
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
((triple1) -> (rule5 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1