The bear is round. The bear likes the cat. The bear likes the rabbit. The cat is round. The cat sees the bear. The cat sees the cow. The cow chases the bear. The cow does not chase the cat. The cow is not kind. The cow is round. The cow likes the bear. The cow likes the cat. The cow likes the rabbit. The cow sees the rabbit. The rabbit does not like the bear. The rabbit likes the cow. If someone is red and they like the bear then they do not see the bear. If someone sees the rabbit and they like the cat then the rabbit sees the cat. If the cat chases the cow and the cow is round then the cow is rough. If someone sees the cat and they are green then the cat sees the rabbit. If someone likes the rabbit and they are kind then they are round. If someone sees the rabbit and the rabbit sees the cat then the cat chases the cow. If the cat is rough then the cat does not chase the cow. If someone is rough then they are red.
The bear is round.
("bear" "is" "round" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow does not chase the cat.
("cow" "chases" "cat" "-")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If someone is red and they like the bear then they do not see the bear.
((("someone" "is" "red" "+") ("someone" "likes" "bear" "+")) -> ("someone" "sees" "bear" "-"))
If someone sees the rabbit and they like the cat then the rabbit sees the cat.
((("someone" "sees" "rabbit" "+") ("someone" "likes" "cat" "+")) -> ("rabbit" "sees" "cat" "+"))
If the cat chases the cow and the cow is round then the cow is rough.
((("cat" "chases" "cow" "+") ("cow" "is" "round" "+")) -> ("cow" "is" "rough" "+"))
If someone sees the cat and they are green then the cat sees the rabbit.
((("someone" "sees" "cat" "+") ("someone" "is" "green" "+")) -> ("cat" "sees" "rabbit" "+"))
If someone likes the rabbit and they are kind then they are round.
((("someone" "likes" "rabbit" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone sees the rabbit and the rabbit sees the cat then the cat chases the cow.
((("someone" "sees" "rabbit" "+") ("rabbit" "sees" "cat" "+")) -> ("cat" "chases" "cow" "+"))
If the cat is rough then the cat does not chase the cow.
((("cat" "is" "rough" "+")) -> ("cat" "chases" "cow" "-"))
If someone is rough then they are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
The cow likes the cat.
True
1
proof
[(triple12)]
("cow" "likes" "cat" "+")
triple12
The cow does not see the rabbit.
False
1
inv-proof
[(triple14)]
("cow" "sees" "rabbit" "-")
triple14
The rabbit sees the cat.
True
3
proof
[(((triple14 triple12) -> rule2))]
("rabbit" "sees" "cat" "+")
((triple14 triple12) -> (rule2 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit does not see the cat.
False
3
inv-proof
[(((triple14 triple12) -> rule2))]
("rabbit" "sees" "cat" "-")
((triple14 triple12) -> (rule2 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat chases the cow.
True
5
proof
[(((triple14 ((triple14 triple12) -> rule2)) -> rule6))]
("cat" "chases" "cow" "+")
((triple14 ((triple14 triple12) -> (rule2 % int2))) -> (rule6 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat does not chase the cow.
False
5
inv-proof
[(((triple14 ((triple14 triple12) -> rule2)) -> rule6))]
("cat" "chases" "cow" "-")
((triple14 ((triple14 triple12) -> (rule2 % int2))) -> (rule6 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cow is rough.
True
7
proof
[(((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3))]
("cow" "is" "rough" "+")
((((triple14 ((triple14 triple12) -> (rule2 % int3))) -> (rule6 % int2)) triple10) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cow is not rough.
False
7
inv-proof
[(((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3))]
("cow" "is" "rough" "-")
((((triple14 ((triple14 triple12) -> (rule2 % int3))) -> (rule6 % int2)) triple10) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cow is red.
True
8
proof
[(((((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3)) -> rule8))]
("cow" "is" "red" "+")
((((((triple14 ((triple14 triple12) -> (rule2 % int4))) -> (rule6 % int3)) triple10) -> (rule3 % int2))) -> (rule8 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The cow is not red.
False
8
inv-proof
[(((((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3)) -> rule8))]
("cow" "is" "red" "-")
((((((triple14 ((triple14 triple12) -> (rule2 % int4))) -> (rule6 % int3)) triple10) -> (rule3 % int2))) -> (rule8 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The cow does not see the bear.
True
10
proof
[(((((((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3)) -> rule8) triple11) -> rule1))]
("cow" "sees" "bear" "-")
((((((((triple14 ((triple14 triple12) -> (rule2 % int5))) -> (rule6 % int4)) triple10) -> (rule3 % int3))) -> (rule8 % int2)) triple11) -> (rule1 % int1))
The cow does not see the bear.
("cow" "sees" "bear" "-")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cat chases the cow.
("cat" "chases" "cow" "+")
int4
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int5
The cow sees the bear.
False
10
inv-proof
[(((((((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3)) -> rule8) triple11) -> rule1))]
("cow" "sees" "bear" "+")
((((((((triple14 ((triple14 triple12) -> (rule2 % int5))) -> (rule6 % int4)) triple10) -> (rule3 % int3))) -> (rule8 % int2)) triple11) -> (rule1 % int1))
The cow does not see the bear.
("cow" "sees" "bear" "-")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cat chases the cow.
("cat" "chases" "cow" "+")
int4
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int5
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "red" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "red" "+")
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "round" "-")
The cat sees the rabbit.
Unknown
rconc
[@1: The cat sees the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "rabbit" "+")
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "is" "red" "-")
The rabbit chases the cat.
Unknown
random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "+")
The cat does not chase the rabbit.
Unknown
inv-random
[@0: The cat chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "rabbit" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bear is round.[(triple1)] The bear likes the cat.[(triple2)] The bear likes the rabbit.[(triple3)] The cat is round.[(triple4)] The cat sees the bear.[(triple5)] The cat sees the cow.[(triple6)] The cow chases the bear.[(triple7)] The cow does not chase the cat.[(triple8)] The cow is not kind.[(triple9)] The cow is round.[(triple10)] The cow likes the bear.[(triple11)] The cow likes the cat.[(triple12)] The cow likes the rabbit.[(triple13)] The cow sees the rabbit.[(triple14)] The rabbit does not like the bear.[(triple15)] The rabbit likes the cow.[(triple16)] @1: The rabbit sees the cat.[(((triple14 triple12) -> rule2))] @2: The cat chases the cow.[(((triple14 ((triple14 triple12) -> rule2)) -> rule6))] @3: The cow is rough.[(((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3))] @4: The cow is red.[(((((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3)) -> rule8))] @5: The cow does not see the bear.[(((((((((triple14 ((triple14 triple12) -> rule2)) -> rule6) triple10) -> rule3)) -> rule8) triple11) -> rule1))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat sees the bear.
("cat" "sees" "bear" "+")
triple5
The cat sees the cow.
("cat" "sees" "cow" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow does not chase the cat.
("cow" "chases" "cat" "-")
triple8
The cow is not kind.
("cow" "is" "kind" "-")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow likes the bear.
("cow" "likes" "bear" "+")
triple11
The cow likes the cat.
("cow" "likes" "cat" "+")
triple12
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple13
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple14
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
triple15
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple16
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((triple14 triple12) -> (rule2 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
((triple14 ((triple14 triple12) -> (rule2 % int2))) -> (rule6 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
((((triple14 ((triple14 triple12) -> (rule2 % int3))) -> (rule6 % int2)) triple10) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cow is red.
("cow" "is" "red" "+")
((((((triple14 ((triple14 triple12) -> (rule2 % int4))) -> (rule6 % int3)) triple10) -> (rule3 % int2))) -> (rule8 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cat chases the cow.
("cat" "chases" "cow" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The cow does not see the bear.
("cow" "sees" "bear" "-")
((((((((triple14 ((triple14 triple12) -> (rule2 % int5))) -> (rule6 % int4)) triple10) -> (rule3 % int3))) -> (rule8 % int2)) triple11) -> (rule1 % int1))
The cow does not see the bear.
("cow" "sees" "bear" "-")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cat chases the cow.
("cat" "chases" "cow" "+")
int4
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int5