The bald eagle chases the mouse. The bald eagle eats the tiger. The bald eagle sees the mouse. The cat eats the mouse. The cat eats the tiger. The cat is round. The cat sees the bald eagle. The cat sees the mouse. The mouse is nice. The tiger eats the mouse. The tiger is rough. The tiger sees the cat. If the tiger sees the bald eagle and the tiger sees the mouse then the bald eagle sees the tiger. If someone eats the bald eagle then they eat the cat. If someone chases the bald eagle and the bald eagle is nice then the bald eagle sees the cat. If someone is red and they see the bald eagle then the bald eagle chases the cat. If the cat sees the bald eagle and the bald eagle sees the mouse then the mouse chases the cat. If the mouse is rough then the mouse eats the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If the tiger sees the bald eagle and the tiger sees the mouse then the bald eagle sees the tiger.
((("tiger" "sees" "bald eagle" "+") ("tiger" "sees" "mouse" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If someone eats the bald eagle then they eat the cat.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "cat" "+"))
If someone chases the bald eagle and the bald eagle is nice then the bald eagle sees the cat.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("bald eagle" "sees" "cat" "+"))
If someone is red and they see the bald eagle then the bald eagle chases the cat.
((("someone" "is" "red" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If the cat sees the bald eagle and the bald eagle sees the mouse then the mouse chases the cat.
((("cat" "sees" "bald eagle" "+") ("bald eagle" "sees" "mouse" "+")) -> ("mouse" "chases" "cat" "+"))
If the mouse is rough then the mouse eats the bald eagle.
((("mouse" "is" "rough" "+")) -> ("mouse" "eats" "bald eagle" "+"))
The tiger sees the cat.
True
1
proof
[(triple12)]
("tiger" "sees" "cat" "+")
triple12
The cat does not see the mouse.
False
1
inv-proof
[(triple8)]
("cat" "sees" "mouse" "-")
triple8
The bald eagle does not eat the cat.
Unknown
inv-rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "cat" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle sees the mouse.[(triple3)] The cat eats the mouse.[(triple4)] The cat eats the tiger.[(triple5)] The cat is round.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the mouse.[(triple8)] The mouse is nice.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is rough.[(triple11)] The tiger sees the cat.[(triple12)] @1: The mouse chases the cat.[(((triple7 triple3) -> rule5))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple4
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple12
The mouse chases the cat.
("mouse" "chases" "cat" "+")
((triple7 triple3) -> (rule5 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1