The bear eats the squirrel. The bear is not nice. The cat is round. The rabbit chases the cat. The rabbit eats the cat. The squirrel chases the bear. The squirrel chases the cat. The squirrel chases the rabbit. The squirrel does not eat the cat. The squirrel eats the rabbit. The squirrel is not kind. The squirrel is red. The squirrel is rough. The squirrel does not like the bear. The squirrel likes the cat. The squirrel likes the rabbit. If something chases the bear and it is not nice then it does not like the squirrel. If something is round and it eats the squirrel then the squirrel is round. If something chases the cat then the cat is not kind. If something is round then it eats the bear. If something eats the bear then it eats the squirrel.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The cat is round.
("cat" "is" "round" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel does not eat the cat.
("squirrel" "eats" "cat" "-")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something chases the bear and it is not nice then it does not like the squirrel.
((("something" "chases" "bear" "+") ("something" "is" "nice" "~")) -> ("something" "likes" "squirrel" "-"))
If something is round and it eats the squirrel then the squirrel is round.
((("something" "is" "round" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If something chases the cat then the cat is not kind.
((("something" "chases" "cat" "+")) -> ("cat" "is" "kind" "-"))
If something is round then it eats the bear.
((("something" "is" "round" "+")) -> ("something" "eats" "bear" "+"))
If something eats the bear then it eats the squirrel.
((("something" "eats" "bear" "+")) -> ("something" "eats" "squirrel" "+"))
The cat is round.
True
1
proof
[(triple3)]
("cat" "is" "round" "+")
triple3
The rabbit does not chase the cat.
False
1
inv-proof
[(triple4)]
("rabbit" "chases" "cat" "-")
triple4
The cat is not kind.
True
2
proof
[(((triple4) -> rule3) OR ((triple7) -> rule3))]
("cat" "is" "kind" "-")
((triple4) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
((triple7) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The cat is kind.
False
2
inv-proof
[(((triple4) -> rule3) OR ((triple7) -> rule3))]
("cat" "is" "kind" "+")
((triple4) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
((triple7) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The cat eats the squirrel.
True
3
proof
[(((((triple3) -> rule4)) -> rule5))]
("cat" "eats" "squirrel" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat does not eat the squirrel.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule5))]
("cat" "eats" "squirrel" "-")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The squirrel is round.
True
5
proof
[(((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2))]
("squirrel" "is" "round" "+")
((triple3 ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The squirrel is not round.
False
5
inv-proof
[(((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2))]
("squirrel" "is" "round" "-")
((triple3 ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The squirrel eats the bear.
True
6
proof
[(((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule4))]
("squirrel" "eats" "bear" "+")
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The squirrel does not eat the bear.
False
6
inv-proof
[(((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule4))]
("squirrel" "eats" "bear" "-")
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The squirrel eats the squirrel.
True
7
proof
[(((((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule4)) -> rule5))]
("squirrel" "eats" "squirrel" "+")
((((((triple3 ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
The cat eats the bear.
("cat" "eats" "bear" "+")
int5
The squirrel does not eat the squirrel.
False
7
inv-proof
[(((((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule4)) -> rule5))]
("squirrel" "eats" "squirrel" "-")
((((((triple3 ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
The cat eats the bear.
("cat" "eats" "bear" "+")
int5
The rabbit does not eat the bear.
Unknown
inv-rconc
[@1: The rabbit eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "bear" "-")
The rabbit eats the squirrel.
Unknown
rconc
[@2: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("rabbit" "eats" "squirrel" "+")
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear chases the cat.
Unknown
random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "+")
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 bear eats the cat.
Unknown
random
[@0: The bear eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cat" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The bear likes the cat.
Unknown
random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
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 cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is not nice.[(triple2)] The cat is round.[(triple3)] The rabbit chases the cat.[(triple4)] The rabbit eats the cat.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel does not eat the cat.[(triple9)] The squirrel does not like the bear.[(triple14)] The squirrel eats the rabbit.[(triple10)] The squirrel is not kind.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the cat.[(triple15)] The squirrel likes the rabbit.[(triple16)] @1: The cat eats the bear.[(((triple3) -> rule4))] The cat is not kind.[(((triple4) -> rule3) OR ((triple7) -> rule3))] @2: The cat eats the squirrel.[(((((triple3) -> rule4)) -> rule5))] @3: The squirrel is round.[(((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2))] @4: The squirrel eats the bear.[(((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule4))] @5: The squirrel eats the squirrel.[(((((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule4)) -> rule5))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is not nice.
("bear" "is" "nice" "-")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple4
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple7
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple8
The squirrel does not eat the cat.
("squirrel" "eats" "cat" "-")
triple9
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
triple14
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple10
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple16
The cat eats the bear.
("cat" "eats" "bear" "+")
((triple3) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat is not kind.
("cat" "is" "kind" "-")
((triple4) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
((triple7) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((triple3 ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((((triple3 ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
The cat eats the bear.
("cat" "eats" "bear" "+")
int5