The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is cold. The bald eagle needs the mouse. The bald eagle visits the mouse. The bald eagle visits the tiger. The mouse is cold. The mouse is green. The mouse is round. The mouse visits the tiger. The tiger eats the mouse. The tiger is green. The tiger is rough. The tiger needs the mouse. The tiger visits the mouse. If the mouse visits the tiger and the mouse is green then the tiger is rough. If something eats the mouse then it eats the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the mouse visits the tiger and the mouse is green then the tiger is rough.
((("mouse" "visits" "tiger" "+") ("mouse" "is" "green" "+")) -> ("tiger" "is" "rough" "+"))
If something eats the mouse then it eats the bald eagle.
((("something" "eats" "mouse" "+")) -> ("something" "eats" "bald eagle" "+"))
The tiger is green.
True
1
proof
[(triple12)]
("tiger" "is" "green" "+")
triple12
The tiger does not visit the mouse.
False
1
inv-proof
[(triple15)]
("tiger" "visits" "mouse" "-")
triple15
The tiger eats the bald eagle.
True
2
proof
[(((triple11) -> rule2))]
("tiger" "eats" "bald eagle" "+")
((triple11) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The mouse eats the tiger.
Unknown
random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle visits the mouse.[(triple5)] The bald eagle visits the tiger.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse is round.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger is green.[(triple12)] The tiger is rough.[(triple13 OR ((triple10 triple8) -> rule1))] The tiger needs the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule2))] The tiger eats the bald eagle.[(((triple11) -> rule2))]
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 cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple10
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
((triple10 triple8) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple11) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1