The bald eagle is red. The lion chases the bald eagle. The lion sees the bald eagle. If someone sees the bald eagle then they are red.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If someone sees the bald eagle then they are red.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple3)]
("lion" "sees" "bald eagle" "+")
triple3
The bald eagle is not red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The lion is red.
True
2
proof
[(((triple3) -> rule1))]
("lion" "is" "red" "+")
((triple3) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "is" "red" "-")
((triple3) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
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 lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The bald eagle chases the lion.
Unknown
random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "+")
@0: The bald eagle is red.[(triple1)] The lion chases the bald eagle.[(triple2)] The lion sees the bald eagle.[(triple3)] @1: The lion is red.[(((triple3) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
((triple3) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1