The bald eagle chases the mouse. The bald eagle is round. The bald eagle sees the bear. The bear chases the mouse. The cat chases the bear. The cat eats the bald eagle. The cat eats the bear. The cat eats the mouse. The cat sees the bald eagle. The cat sees the bear. The mouse chases the bald eagle. The mouse is nice. If something sees the mouse and it is nice then it chases the bald eagle. If something eats the cat then the cat sees the mouse. If something eats the bear and the bear sees the cat then the cat sees the bear. If the bear eats the mouse and the bear is green then the mouse chases the bear. If something eats the mouse and the mouse chases the bear then the bear sees the cat. If something sees the bear then it chases the bear. If something sees the mouse then the mouse eats the bald eagle. If something sees the cat then it is big.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
If something sees the mouse and it is nice then it chases the bald eagle.
((("something" "sees" "mouse" "+") ("something" "is" "nice" "+")) -> ("something" "chases" "bald eagle" "+"))
If something eats the cat then the cat sees the mouse.
((("something" "eats" "cat" "+")) -> ("cat" "sees" "mouse" "+"))
If something eats the bear and the bear sees the cat then the cat sees the bear.
((("something" "eats" "bear" "+") ("bear" "sees" "cat" "+")) -> ("cat" "sees" "bear" "+"))
If the bear eats the mouse and the bear is green then the mouse chases the bear.
((("bear" "eats" "mouse" "+") ("bear" "is" "green" "+")) -> ("mouse" "chases" "bear" "+"))
If something eats the mouse and the mouse chases the bear then the bear sees the cat.
((("something" "eats" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("bear" "sees" "cat" "+"))
If something sees the bear then it chases the bear.
((("something" "sees" "bear" "+")) -> ("something" "chases" "bear" "+"))
If something sees the mouse then the mouse eats the bald eagle.
((("something" "sees" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If something sees the cat then it is big.
((("something" "sees" "cat" "+")) -> ("something" "is" "big" "+"))
The bald eagle chases the mouse.
True
1
proof
[(triple1)]
("bald eagle" "chases" "mouse" "+")
triple1
The cat does not eat the bear.
False
1
inv-proof
[(triple7)]
("cat" "eats" "bear" "-")
triple7
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear chases the mouse.[(triple4)] The cat chases the bear.[(triple5 OR ((triple10) -> rule6))] The cat eats the bald eagle.[(triple6)] The cat eats the bear.[(triple7)] The cat eats the mouse.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat sees the bear.[(triple10)] The mouse chases the bald eagle.[(triple11)] The mouse is nice.[(triple12)] @1: The bald eagle chases the bear.[(((triple3) -> rule6))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
((triple10) -> (rule6 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple8
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple9
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((triple3) -> (rule6 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1