The bald eagle does not see the mouse. The bear chases the mouse. The bear is nice. The cat is red. The cat is rough. The cat sees the bear. The mouse does not chase the cat. If someone chases the bear and they chase the bald eagle then the bear visits the cat. If someone visits the mouse and they are not young then they visit the bear. If the bear sees the mouse then the bear chases the cat. If someone chases the mouse then they are nice. If someone is rough then they see the mouse. If someone sees the cat and the cat is rough then the cat is not cold.
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is nice.
("bear" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
If someone chases the bear and they chase the bald eagle then the bear visits the cat.
((("someone" "chases" "bear" "+") ("someone" "chases" "bald eagle" "+")) -> ("bear" "visits" "cat" "+"))
If someone visits the mouse and they are not young then they visit the bear.
((("someone" "visits" "mouse" "+") ("someone" "is" "young" "~")) -> ("someone" "visits" "bear" "+"))
If the bear sees the mouse then the bear chases the cat.
((("bear" "sees" "mouse" "+")) -> ("bear" "chases" "cat" "+"))
If someone chases the mouse then they are nice.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they see the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "mouse" "+"))
If someone sees the cat and the cat is rough then the cat is not cold.
((("someone" "sees" "cat" "+") ("cat" "is" "rough" "+")) -> ("cat" "is" "cold" "-"))
The bald eagle does not see the mouse.
True
1
proof
[(triple1)]
("bald eagle" "sees" "mouse" "-")
triple1
The cat is not red.
False
1
inv-proof
[(triple4)]
("cat" "is" "red" "-")
triple4
The cat sees the mouse.
True
2
proof
[(((triple5) -> rule5))]
("cat" "sees" "mouse" "+")
((triple5) -> (rule5 % int1))
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int1
The cat does not see the mouse.
False
2
inv-proof
[(((triple5) -> rule5))]
("cat" "sees" "mouse" "-")
((triple5) -> (rule5 % int1))
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int1
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "nice" "-")
The bear sees the mouse.
Unknown
rconc
[@1: The bear sees the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "sees" "mouse" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The mouse chases the bear.
Unknown
random
[@0: The mouse chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bear" "+")
@0: The bald eagle does not see the mouse.[(triple1)] The bear chases the mouse.[(triple2)] The bear is nice.[(triple3 OR ((triple2) -> rule4))] The cat is red.[(triple4)] The cat is rough.[(triple5)] The cat sees the bear.[(triple6)] The mouse does not chase the cat.[(triple7)] @1: The cat sees the mouse.[(((triple5) -> rule5))]
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
((triple2) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The cat is red.
("cat" "is" "red" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat sees the bear.
("cat" "sees" "bear" "+")
triple6
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple7
The cat sees the mouse.
("cat" "sees" "mouse" "+")
((triple5) -> (rule5 % int1))
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int1