The bald eagle eats the cow. The bald eagle is green. The bald eagle is nice. The bald eagle visits the cow. The bear does not eat the cow. The cow is not round. The cow sees the bald eagle. The cow sees the bear. The mouse is rough. The mouse is round. If something is rough then it visits the bald eagle. If something sees the mouse and it does not eat the mouse then the mouse does not see the bald eagle. If the cow visits the bear then the bear is not kind. If something is round and it eats the bald eagle then it does not see the bald eagle. If the mouse visits the bald eagle and the bald eagle sees the bear then the mouse is rough. If something is kind then it eats the bald eagle. If something sees the mouse and the mouse sees the cow then it is kind. If something visits the bald eagle then the bald eagle is kind. If something eats the bald eagle then the bald eagle is rough.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The cow is not round.
("cow" "is" "round" "-")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
If something is rough then it visits the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "visits" "bald eagle" "+"))
If something sees the mouse and it does not eat the mouse then the mouse does not see the bald eagle.
((("something" "sees" "mouse" "+") ("something" "eats" "mouse" "~")) -> ("mouse" "sees" "bald eagle" "-"))
If the cow visits the bear then the bear is not kind.
((("cow" "visits" "bear" "+")) -> ("bear" "is" "kind" "-"))
If something is round and it eats the bald eagle then it does not see the bald eagle.
((("something" "is" "round" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "-"))
If the mouse visits the bald eagle and the bald eagle sees the bear then the mouse is rough.
((("mouse" "visits" "bald eagle" "+") ("bald eagle" "sees" "bear" "+")) -> ("mouse" "is" "rough" "+"))
If something is kind then it eats the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "eats" "bald eagle" "+"))
If something sees the mouse and the mouse sees the cow then it is kind.
((("something" "sees" "mouse" "+") ("mouse" "sees" "cow" "+")) -> ("something" "is" "kind" "+"))
If something visits the bald eagle then the bald eagle is kind.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something eats the bald eagle then the bald eagle is rough.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
The cow sees the bald eagle.
True
1
proof
[(triple7)]
("cow" "sees" "bald eagle" "+")
triple7
The cow does not see the bear.
False
1
inv-proof
[(triple8)]
("cow" "sees" "bear" "-")
triple8
The mouse visits the bald eagle.
True
2
proof
[(((triple9) -> rule1))]
("mouse" "visits" "bald eagle" "+")
((triple9) -> (rule1 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse does not visit the bald eagle.
False
2
inv-proof
[(((triple9) -> rule1))]
("mouse" "visits" "bald eagle" "-")
((triple9) -> (rule1 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
True
3
proof
[(((((triple9) -> rule1)) -> rule8))]
("bald eagle" "is" "kind" "+")
((((triple9) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The bald eagle is not kind.
False
3
inv-proof
[(((((triple9) -> rule1)) -> rule8))]
("bald eagle" "is" "kind" "-")
((((triple9) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
True
4
proof
[(((((((triple9) -> rule1)) -> rule8)) -> rule6))]
("bald eagle" "eats" "bald eagle" "+")
((((((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The bald eagle does not eat the bald eagle.
False
4
inv-proof
[(((((((triple9) -> rule1)) -> rule8)) -> rule6))]
("bald eagle" "eats" "bald eagle" "-")
((((((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The bald eagle is rough.
True
5
proof
[(((((((((triple9) -> rule1)) -> rule8)) -> rule6)) -> rule9))]
("bald eagle" "is" "rough" "+")
((((((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int4
The bald eagle is not rough.
False
5
inv-proof
[(((((((((triple9) -> rule1)) -> rule8)) -> rule6)) -> rule9))]
("bald eagle" "is" "rough" "-")
((((((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int4
The bald eagle visits the bald eagle.
True
6
proof
[(((((((((((triple9) -> rule1)) -> rule8)) -> rule6)) -> rule9)) -> rule1))]
("bald eagle" "visits" "bald eagle" "+")
((((((((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int5
The bald eagle does not visit the bald eagle.
False
6
inv-proof
[(((((((((((triple9) -> rule1)) -> rule8)) -> rule6)) -> rule9)) -> rule1))]
("bald eagle" "visits" "bald eagle" "-")
((((((((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int5
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "kind" "-")
The mouse is kind.
Unknown
rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "kind" "+")
The bear does not eat the bald eagle.
Unknown
inv-rconc
[@2: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("bear" "eats" "bald eagle" "-")
The cow eats the bald eagle.
Unknown
rconc
[@2: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "kind" "+")
The bear does not visit the cow.
Unknown
inv-random
[@0: The bear visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cow" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The mouse does not visit the bear.
Unknown
inv-random
[@0: The mouse visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bear" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle visits the cow.[(triple4)] The bear does not eat the cow.[(triple5)] The cow is not round.[(triple6)] The cow sees the bald eagle.[(triple7)] The cow sees the bear.[(triple8)] The mouse is rough.[(triple9)] The mouse is round.[(triple10)] @1: The mouse visits the bald eagle.[(((triple9) -> rule1))] @2: The bald eagle is kind.[(((((triple9) -> rule1)) -> rule8))] @3: The bald eagle eats the bald eagle.[(((((((triple9) -> rule1)) -> rule8)) -> rule6))] @4: The bald eagle is rough.[(((((((((triple9) -> rule1)) -> rule8)) -> rule6)) -> rule9))] @5: The bald eagle visits the bald eagle.[(((((((((((triple9) -> rule1)) -> rule8)) -> rule6)) -> rule9)) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple5
The cow is not round.
("cow" "is" "round" "-")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
((triple9) -> (rule1 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple9) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int4
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((((((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int5