The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is green. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle sees the mouse. The bald eagle sees the tiger. The mouse likes the bald eagle. The mouse sees the tiger. The tiger eats the bald eagle. The tiger is kind. The tiger likes the mouse. If something likes the mouse and the mouse likes the tiger then the mouse is rough.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If something likes the mouse and the mouse likes the tiger then the mouse is rough.
((("something" "likes" "mouse" "+") ("mouse" "likes" "tiger" "+")) -> ("mouse" "is" "rough" "+"))
The bald eagle sees the tiger.
True
1
proof
[(triple7)]
("bald eagle" "sees" "tiger" "+")
triple7
The tiger is not kind.
False
1
inv-proof
[(triple11)]
("tiger" "is" "kind" "-")
triple11
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "rough" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle likes the tiger.[(triple5)] The bald eagle sees the mouse.[(triple6)] The bald eagle sees the tiger.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse sees the tiger.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is kind.[(triple11)] The tiger likes the mouse.[(triple12)]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple5
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple6
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple7
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple8
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple12