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