The bald eagle is red. The mouse is cold. The rabbit is green. If something is green then it chases the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
If something is green then it chases the bald eagle.
((("something" "is" "green" "+")) -> ("something" "chases" "bald eagle" "+"))
The mouse is cold.
True
1
proof
[(triple2)]
("mouse" "is" "cold" "+")
triple2
The bald eagle is not red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The rabbit chases the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "chases" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit does not chase the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "chases" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The mouse does not chase the bald eagle.
Unknown
inv-rconc
[@1: The mouse chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The rabbit does not like the mouse.
Unknown
inv-random
[@0: The rabbit likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "mouse" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bald eagle is red.[(triple1)] The mouse is cold.[(triple2)] The rabbit is green.[(triple3)] @1: The rabbit chases the bald eagle.[(((triple3) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1