The bald eagle chases the mouse. The bald eagle eats the rabbit. The bear chases the mouse. The bear is red. The bear sees the bald eagle. The mouse chases the bear. The mouse sees the bald eagle. The mouse sees the rabbit. The rabbit chases the bear. The rabbit is kind. If someone is red then they see the mouse. If the bald eagle chases the bear then the bear is rough.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If someone is red then they see the mouse.
((("someone" "is" "red" "+")) -> ("someone" "sees" "mouse" "+"))
If the bald eagle chases the bear then the bear is rough.
((("bald eagle" "chases" "bear" "+")) -> ("bear" "is" "rough" "+"))
The rabbit is kind.
True
1
proof
[(triple10)]
("rabbit" "is" "kind" "+")
triple10
The bald eagle does not chase the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "mouse" "-")
triple1
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse chases the rabbit.
Unknown
random
[@0: The mouse chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "rabbit" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bear chases the mouse.[(triple3)] The bear is red.[(triple4)] The bear sees the bald eagle.[(triple5)] The mouse chases the bear.[(triple6)] The mouse sees the bald eagle.[(triple7)] The mouse sees the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit is kind.[(triple10)] @1: The bear sees the mouse.[(((triple4) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple6
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple7
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple8
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The bear sees the mouse.
("bear" "sees" "mouse" "+")
((triple4) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1