The bald eagle visits the squirrel. The mouse is kind. The mouse visits the bald eagle. The mouse visits the tiger. The squirrel likes the tiger. The squirrel needs the tiger. The tiger needs the squirrel. If something needs the bald eagle and it likes the tiger then the bald eagle likes the tiger. If something visits the bald eagle then it visits the squirrel. If something needs the squirrel then the squirrel needs the bald eagle. If something is green then it needs the tiger. If something visits the mouse then it likes the tiger. If the squirrel needs the tiger then the tiger visits the mouse. If something visits the squirrel then it is blue. If something needs the bald eagle then it visits the mouse. If the squirrel visits the mouse then the squirrel visits the bald eagle.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something needs the bald eagle and it likes the tiger then the bald eagle likes the tiger.
((("something" "needs" "bald eagle" "+") ("something" "likes" "tiger" "+")) -> ("bald eagle" "likes" "tiger" "+"))
If something visits the bald eagle then it visits the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("something" "visits" "squirrel" "+"))
If something needs the squirrel then the squirrel needs the bald eagle.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If something is green then it needs the tiger.
((("something" "is" "green" "+")) -> ("something" "needs" "tiger" "+"))
If something visits the mouse then it likes the tiger.
((("something" "visits" "mouse" "+")) -> ("something" "likes" "tiger" "+"))
If the squirrel needs the tiger then the tiger visits the mouse.
((("squirrel" "needs" "tiger" "+")) -> ("tiger" "visits" "mouse" "+"))
If something visits the squirrel then it is blue.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "blue" "+"))
If something needs the bald eagle then it visits the mouse.
((("something" "needs" "bald eagle" "+")) -> ("something" "visits" "mouse" "+"))
If the squirrel visits the mouse then the squirrel visits the bald eagle.
((("squirrel" "visits" "mouse" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple3)]
("mouse" "visits" "bald eagle" "+")
triple3
The mouse does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "bald eagle" "-")
triple3
The squirrel needs the bald eagle.
True
2
proof
[(((triple7) -> rule3))]
("squirrel" "needs" "bald eagle" "+")
((triple7) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple1) -> rule7))]
("bald eagle" "is" "blue" "-")
((triple1) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The mouse is blue.
True
3
proof
[(((((triple3) -> rule2)) -> rule7))]
("mouse" "is" "blue" "+")
((((triple3) -> (rule2 % int2))) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
The squirrel does not visit the mouse.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule8))]
("squirrel" "visits" "mouse" "-")
((((triple7) -> (rule3 % int2))) -> (rule8 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
True
4
proof
[(((((((triple7) -> rule3)) -> rule8)) -> rule9))]
("squirrel" "visits" "bald eagle" "+")
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel does not visit the bald eagle.
False
4
inv-proof
[(((((((triple7) -> rule3)) -> rule8)) -> rule9))]
("squirrel" "visits" "bald eagle" "-")
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel visits the squirrel.
True
5
proof
[(((((((((triple7) -> rule3)) -> rule8)) -> rule9)) -> rule2))]
("squirrel" "visits" "squirrel" "+")
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel does not visit the squirrel.
False
5
inv-proof
[(((((((((triple7) -> rule3)) -> rule8)) -> rule9)) -> rule2))]
("squirrel" "visits" "squirrel" "-")
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel is blue.
True
6
proof
[(((((((((((triple7) -> rule3)) -> rule8)) -> rule9)) -> rule2)) -> rule7))]
("squirrel" "is" "blue" "+")
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int5
The squirrel is not blue.
False
6
inv-proof
[(((((((((((triple7) -> rule3)) -> rule8)) -> rule9)) -> rule2)) -> rule7))]
("squirrel" "is" "blue" "-")
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int5
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle does not need the tiger.
Unknown
inv-rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "tiger" "-")
The tiger visits the squirrel.
Unknown
rconc
[@1: The tiger visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "squirrel" "+")
The mouse does not need the tiger.
Unknown
inv-rconc
[@1: The mouse needs the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "tiger" "-")
The mouse likes the tiger.
Unknown
rconc
[@2: The mouse likes the tiger.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("mouse" "likes" "tiger" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The squirrel does not need the mouse.
Unknown
inv-random
[@0: The squirrel needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "mouse" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The bald eagle visits the tiger.
Unknown
random
[@0: The bald eagle visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "tiger" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The mouse is kind.[(triple2)] The mouse visits the bald eagle.[(triple3)] The mouse visits the tiger.[(triple4)] The squirrel likes the tiger.[(triple5 OR ((((((triple7) -> rule3)) -> rule8)) -> rule5))] The squirrel needs the tiger.[(triple6)] The tiger needs the squirrel.[(triple7)] @1: The bald eagle is blue.[(((triple1) -> rule7))] The mouse visits the squirrel.[(((triple3) -> rule2))] The squirrel needs the bald eagle.[(((triple7) -> rule3))] The tiger visits the mouse.[(((triple6) -> rule6))] @2: The bald eagle likes the tiger.[(((((triple7) -> rule3) triple5) -> rule1) OR ((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule8)) -> rule5)) -> rule1))] The mouse is blue.[(((((triple3) -> rule2)) -> rule7))] The squirrel visits the mouse.[(((((triple7) -> rule3)) -> rule8))] The tiger likes the tiger.[(((((triple6) -> rule6)) -> rule5))] @3: The squirrel visits the bald eagle.[(((((((triple7) -> rule3)) -> rule8)) -> rule9))] @4: The squirrel visits the squirrel.[(((((((((triple7) -> rule3)) -> rule8)) -> rule9)) -> rule2))] @5: The squirrel is blue.[(((((((((((triple7) -> rule3)) -> rule8)) -> rule9)) -> rule2)) -> rule7))]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple4
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple5
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple6
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple7
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
((triple3) -> (rule2 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple7) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
((triple6) -> (rule6 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((((triple7) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
((((triple7) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int2
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple3) -> (rule2 % int2))) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
((((triple7) -> (rule3 % int2))) -> (rule8 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int5