The bald eagle is nice. The bald eagle needs the tiger. The bald eagle visits the mouse. The bald eagle visits the tiger. The mouse visits the tiger. The tiger eats the mouse. The tiger visits the bald eagle. If something eats the tiger and it needs the tiger then it is rough. If something eats the bald eagle then it eats the tiger. If something eats the bald eagle then the bald eagle visits the tiger. If something visits the tiger then it is green. If something eats the mouse then it visits the tiger. If something is green then it needs the mouse. If something is nice and it visits the tiger then the tiger is red. If something needs the mouse and the mouse eats the tiger then the mouse is nice.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something eats the tiger and it needs the tiger then it is rough.
((("something" "eats" "tiger" "+") ("something" "needs" "tiger" "+")) -> ("something" "is" "rough" "+"))
If something eats the bald eagle then it eats the tiger.
((("something" "eats" "bald eagle" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the bald eagle then the bald eagle visits the tiger.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something visits the tiger then it is green.
((("something" "visits" "tiger" "+")) -> ("something" "is" "green" "+"))
If something eats the mouse then it visits the tiger.
((("something" "eats" "mouse" "+")) -> ("something" "visits" "tiger" "+"))
If something is green then it needs the mouse.
((("something" "is" "green" "+")) -> ("something" "needs" "mouse" "+"))
If something is nice and it visits the tiger then the tiger is red.
((("something" "is" "nice" "+") ("something" "visits" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If something needs the mouse and the mouse eats the tiger then the mouse is nice.
((("something" "needs" "mouse" "+") ("mouse" "eats" "tiger" "+")) -> ("mouse" "is" "nice" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple2)]
("bald eagle" "needs" "tiger" "+")
triple2
The bald eagle does not visit the tiger.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "tiger" "-")
triple4
The mouse is green.
True
2
proof
[(((triple5) -> rule4))]
("mouse" "is" "green" "+")
((triple5) -> (rule4 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The bald eagle is not green.
False
2
inv-proof
[(((triple4) -> rule4))]
("bald eagle" "is" "green" "-")
((triple4) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The tiger is green.
True
3
proof
[(((((triple6) -> rule5)) -> rule4))]
("tiger" "is" "green" "+")
((((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger is not green.
False
3
inv-proof
[(((((triple6) -> rule5)) -> rule4))]
("tiger" "is" "green" "-")
((((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the mouse.
True
4
proof
[(((((((triple6) -> rule5)) -> rule4)) -> rule6))]
("tiger" "needs" "mouse" "+")
((((((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The tiger does not need the mouse.
False
4
inv-proof
[(((((((triple6) -> rule5)) -> rule4)) -> rule6))]
("tiger" "needs" "mouse" "-")
((((((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "rough" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "rough" "+")
The mouse does not eat the tiger.
Unknown
inv-rconc
[@1: The mouse eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "tiger" "-")
The bald eagle eats the tiger.
Unknown
rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "tiger" "+")
The bald eagle does not eat the mouse.
Unknown
inv-random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "-")
The tiger eats the bald eagle.
Unknown
random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bald eagle visits the tiger.[(triple4)] The mouse visits the tiger.[(triple5)] The tiger eats the mouse.[(triple6)] The tiger visits the bald eagle.[(triple7)] @1: The bald eagle is green.[(((triple4) -> rule4))] The mouse is green.[(((triple5) -> rule4))] The tiger is red.[(((triple1 triple4) -> rule7))] The tiger visits the tiger.[(((triple6) -> rule5))] @2: The bald eagle needs the mouse.[(((((triple4) -> rule4)) -> rule6))] The mouse needs the mouse.[(((((triple5) -> rule4)) -> rule6))] The tiger is green.[(((((triple6) -> rule5)) -> rule4))] @3: The tiger needs the mouse.[(((((((triple6) -> rule5)) -> rule4)) -> rule6))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple5
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple6
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple7
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple4) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple5) -> (rule4 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((triple1 triple4) -> (rule7 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple6) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
((((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
((((((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3