The bald eagle does not see the mouse. The bear is not big. The bear is red. The bear is young. The bear does not see the cat. The bear sees the mouse. The cat is not young. The cat sees the bald eagle. The cat sees the mouse. The cat does not visit the mouse. The mouse is round. The mouse sees the bear. If someone visits the bald eagle then the bald eagle sees the mouse. If the bear sees the cat then the bear chases the bald eagle. If someone visits the bear then they visit the bald eagle. If someone sees the bear and the bear does not see the mouse then the mouse sees the cat. If someone chases the cat and they do not visit the mouse then the mouse is young. If someone is young then they chase the bear. If someone sees the cat and the cat chases the bald eagle then they chase the cat. Red people are not big.
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The bear is not big.
("bear" "is" "big" "-")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not see the cat.
("bear" "sees" "cat" "-")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat does not visit the mouse.
("cat" "visits" "mouse" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If someone visits the bald eagle then the bald eagle sees the mouse.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If the bear sees the cat then the bear chases the bald eagle.
((("bear" "sees" "cat" "+")) -> ("bear" "chases" "bald eagle" "+"))
If someone visits the bear then they visit the bald eagle.
((("someone" "visits" "bear" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone sees the bear and the bear does not see the mouse then the mouse sees the cat.
((("someone" "sees" "bear" "+") ("bear" "sees" "mouse" "~")) -> ("mouse" "sees" "cat" "+"))
If someone chases the cat and they do not visit the mouse then the mouse is young.
((("someone" "chases" "cat" "+") ("someone" "visits" "mouse" "~")) -> ("mouse" "is" "young" "+"))
If someone is young then they chase the bear.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bear" "+"))
If someone sees the cat and the cat chases the bald eagle then they chase the cat.
((("someone" "sees" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("someone" "chases" "cat" "+"))
Red people are not big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
The bear does not see the cat.
True
1
proof
[(triple5)]
("bear" "sees" "cat" "-")
triple5
The cat is young.
False
1
inv-proof
[(triple7)]
("cat" "is" "young" "+")
triple7
The bear chases the bear.
True
2
proof
[(((triple4) -> rule6))]
("bear" "chases" "bear" "+")
((triple4) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple4) -> rule6))]
("bear" "chases" "bear" "-")
((triple4) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The cat chases the cat.
Unknown
rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "chases" "cat" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
@0: The bald eagle does not see the mouse.[(triple1)] The bear does not see the cat.[(triple5)] The bear is not big.[(triple2 OR ((triple3) -> rule8))] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear sees the mouse.[(triple6)] The cat does not visit the mouse.[(triple10)] The cat is not young.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat sees the mouse.[(triple9)] The mouse is round.[(triple11)] The mouse sees the bear.[(triple12)] @1: The bear chases the bear.[(((triple4) -> rule6))]
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple1
The bear does not see the cat.
("bear" "sees" "cat" "-")
triple5
The bear is not big.
("bear" "is" "big" "-")
triple2
((triple3) -> (rule8 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple6
The cat does not visit the mouse.
("cat" "visits" "mouse" "-")
triple10
The cat is not young.
("cat" "is" "young" "-")
triple7
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple8
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple11
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple12
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple4) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1