The bald eagle chases the tiger. The bald eagle is not kind. The bald eagle does not see the squirrel. The bald eagle visits the mouse. The bald eagle visits the squirrel. The mouse is cold. The mouse is kind. The mouse sees the tiger. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel visits the mouse. The tiger chases the bald eagle. The tiger sees the squirrel. If the squirrel does not see the bald eagle then the bald eagle does not chase the tiger. If someone is kind then they are round. If someone is kind and they visit the tiger then the tiger does not chase the squirrel. If someone is round then they chase the tiger. If someone chases the squirrel and the squirrel sees the tiger then they are cold. If someone chases the mouse then the mouse does not chase the squirrel. If someone chases the squirrel and they do not visit the tiger then they visit the squirrel. If someone is round and kind then they do not visit the squirrel. If the mouse chases the tiger then the tiger is kind.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If the squirrel does not see the bald eagle then the bald eagle does not chase the tiger.
((("squirrel" "sees" "bald eagle" "~")) -> ("bald eagle" "chases" "tiger" "-"))
If someone is kind then they are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and they visit the tiger then the tiger does not chase the squirrel.
((("someone" "is" "kind" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "chases" "squirrel" "-"))
If someone is round then they chase the tiger.
((("someone" "is" "round" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the squirrel and the squirrel sees the tiger then they are cold.
((("someone" "chases" "squirrel" "+") ("squirrel" "sees" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the mouse then the mouse does not chase the squirrel.
((("someone" "chases" "mouse" "+")) -> ("mouse" "chases" "squirrel" "-"))
If someone chases the squirrel and they do not visit the tiger then they visit the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "visits" "tiger" "~")) -> ("someone" "visits" "squirrel" "+"))
If someone is round and kind then they do not visit the squirrel.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "visits" "squirrel" "-"))
If the mouse chases the tiger then the tiger is kind.
((("mouse" "chases" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
The bald eagle visits the squirrel.
True
1
proof
[(triple5)]
("bald eagle" "visits" "squirrel" "+")
triple5
The bald eagle does not visit the mouse.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "mouse" "-")
triple4
The mouse is round.
True
2
proof
[(((triple7) -> rule2))]
("mouse" "is" "round" "+")
((triple7) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple10) -> rule2))]
("squirrel" "is" "round" "-")
((triple10) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The mouse chases the tiger.
True
3
proof
[(((((triple7) -> rule2)) -> rule4))]
("mouse" "chases" "tiger" "+")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The squirrel visits the squirrel.
False
4
inv-proof
[(((((triple10) -> rule2) triple10) -> rule8))]
("squirrel" "visits" "squirrel" "+")
((((triple10) -> (rule2 % int2)) triple10) -> (rule8 % int1))
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The tiger is kind.
True
4
proof
[(((((((triple7) -> rule2)) -> rule4)) -> rule9))]
("tiger" "is" "kind" "+")
((((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
int3
The tiger is not kind.
False
4
inv-proof
[(((((((triple7) -> rule2)) -> rule4)) -> rule9))]
("tiger" "is" "kind" "-")
((((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
int3
The tiger is round.
True
5
proof
[(((((((((triple7) -> rule2)) -> rule4)) -> rule9)) -> rule2))]
("tiger" "is" "round" "+")
((((((((triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int3
The mouse is round.
("mouse" "is" "round" "+")
int4
The tiger is not round.
False
5
inv-proof
[(((((((((triple7) -> rule2)) -> rule4)) -> rule9)) -> rule2))]
("tiger" "is" "round" "-")
((((((((triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int3
The mouse is round.
("mouse" "is" "round" "+")
int4
The tiger chases the tiger.
True
6
proof
[(((((((((((triple7) -> rule2)) -> rule4)) -> rule9)) -> rule2)) -> rule4))]
("tiger" "chases" "tiger" "+")
((((((((((triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int4
The mouse is round.
("mouse" "is" "round" "+")
int5
The tiger does not chase the tiger.
False
6
inv-proof
[(((((((((((triple7) -> rule2)) -> rule4)) -> rule9)) -> rule2)) -> rule4))]
("tiger" "chases" "tiger" "-")
((((((((((triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int4
The mouse is round.
("mouse" "is" "round" "+")
int5
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle is cold.
Unknown
rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "cold" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse does not see the bald eagle.
Unknown
inv-random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "-")
The mouse chases the squirrel.
Unknown
random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger does not see the mouse.
Unknown
inv-random
[@0: The tiger sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "mouse" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The squirrel sees the mouse.
Unknown
random
[@0: The squirrel sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "mouse" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not see the squirrel.[(triple3)] The bald eagle is not kind.[(triple2)] The bald eagle visits the mouse.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The mouse is cold.[(triple6)] The mouse is kind.[(triple7)] The mouse sees the tiger.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the mouse.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger sees the squirrel.[(triple14)] @1: The mouse is round.[(((triple7) -> rule2))] The squirrel is round.[(((triple10) -> rule2))] @2: The mouse chases the tiger.[(((((triple7) -> rule2)) -> rule4))] The mouse does not visit the squirrel.[(((((triple7) -> rule2) triple7) -> rule8))] The squirrel chases the tiger.[(((((triple10) -> rule2)) -> rule4))] The squirrel does not visit the squirrel.[(((((triple10) -> rule2) triple10) -> rule8))] @3: The tiger is kind.[(((((((triple7) -> rule2)) -> rule4)) -> rule9))] @4: The tiger is round.[(((((((((triple7) -> rule2)) -> rule4)) -> rule9)) -> rule2))] @5: The tiger chases the tiger.[(((((((((((triple7) -> rule2)) -> rule4)) -> rule9)) -> rule2)) -> rule4))] The tiger does not visit the squirrel.[(((((((((((triple7) -> rule2)) -> rule4)) -> rule9)) -> rule2) ((((((triple7) -> rule2)) -> rule4)) -> rule9)) -> rule8))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
triple3
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple13
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
((triple7) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple10) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
((((triple7) -> (rule2 % int2)) triple7) -> (rule8 % int1))
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((((triple10) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
((((triple10) -> (rule2 % int2)) triple10) -> (rule8 % int1))
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
((((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
((((((((triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int3
The mouse is round.
("mouse" "is" "round" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((((((((((triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int4
The mouse is round.
("mouse" "is" "round" "+")
int5
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
((((((((((triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) ((((((triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule8 % int1))
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int4
The mouse is round.
("mouse" "is" "round" "+")
int5