The bear eats the rabbit. The bear sees the cat. The bear sees the dog. The cat is young. The cat sees the bear. The dog is red. The rabbit is red. If someone eats the bear then the bear is young. If someone likes the bear then they eat the bear. If someone is young then they like the bear. If someone is cold then they see the rabbit. If someone sees the rabbit then the rabbit is red. If someone is round and blue then they like the rabbit. If someone likes the rabbit then they eat the cat. If someone sees the rabbit and they eat the bear then the bear is young.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The dog is red.
("dog" "is" "red" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If someone eats the bear then the bear is young.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone likes the bear then they eat the bear.
((("someone" "likes" "bear" "+")) -> ("someone" "eats" "bear" "+"))
If someone is young then they like the bear.
((("someone" "is" "young" "+")) -> ("someone" "likes" "bear" "+"))
If someone is cold then they see the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone sees the rabbit then the rabbit is red.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If someone is round and blue then they like the rabbit.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the rabbit then they eat the cat.
((("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "cat" "+"))
If someone sees the rabbit and they eat the bear then the bear is young.
((("someone" "sees" "rabbit" "+") ("someone" "eats" "bear" "+")) -> ("bear" "is" "young" "+"))
The dog is red.
True
1
proof
[(triple6)]
("dog" "is" "red" "+")
triple6
The bear does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("bear" "eats" "rabbit" "-")
triple1
The cat likes the bear.
True
2
proof
[(((triple4) -> rule3))]
("cat" "likes" "bear" "+")
((triple4) -> (rule3 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat does not like the bear.
False
2
inv-proof
[(((triple4) -> rule3))]
("cat" "likes" "bear" "-")
((triple4) -> (rule3 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the bear.
True
3
proof
[(((((triple4) -> rule3)) -> rule2))]
("cat" "eats" "bear" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat does not eat the bear.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule2))]
("cat" "eats" "bear" "-")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The bear is young.
True
4
proof
[(((((((triple4) -> rule3)) -> rule2)) -> rule1))]
("bear" "is" "young" "+")
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat likes the bear.
("cat" "likes" "bear" "+")
int3
The bear is not young.
False
4
inv-proof
[(((((((triple4) -> rule3)) -> rule2)) -> rule1))]
("bear" "is" "young" "-")
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat likes the bear.
("cat" "likes" "bear" "+")
int3
The bear likes the bear.
True
5
proof
[(((((((((triple4) -> rule3)) -> rule2)) -> rule1)) -> rule3))]
("bear" "likes" "bear" "+")
((((((((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat likes the bear.
("cat" "likes" "bear" "+")
int4
The bear does not like the bear.
False
5
inv-proof
[(((((((((triple4) -> rule3)) -> rule2)) -> rule1)) -> rule3))]
("bear" "likes" "bear" "-")
((((((((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat likes the bear.
("cat" "likes" "bear" "+")
int4
The bear eats the bear.
True
6
proof
[(((((((((((triple4) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
("bear" "eats" "bear" "+")
((((((((((triple4) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat likes the bear.
("cat" "likes" "bear" "+")
int5
The bear does not eat the bear.
False
6
inv-proof
[(((((((((((triple4) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
("bear" "eats" "bear" "-")
((((((((((triple4) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat likes the bear.
("cat" "likes" "bear" "+")
int5
The cat does not like the rabbit.
Unknown
inv-rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "rabbit" "-")
The dog eats the bear.
Unknown
rconc
[@2: The dog eats the bear.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("dog" "eats" "bear" "+")
The cat does not see the rabbit.
Unknown
inv-rconc
[@1: The cat sees the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "rabbit" "-")
The rabbit eats the bear.
Unknown
rconc
[@2: The rabbit eats the bear.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("rabbit" "eats" "bear" "+")
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The dog sees the rabbit.
Unknown
rconc
[@1: The dog sees the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "sees" "rabbit" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The rabbit likes the dog.
Unknown
random
[@0: The rabbit likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "dog" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The cat sees the dog.
Unknown
random
[@0: The cat sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "dog" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bear eats the rabbit.[(triple1)] The bear sees the cat.[(triple2)] The bear sees the dog.[(triple3)] The cat is young.[(triple4)] The cat sees the bear.[(triple5)] The dog is red.[(triple6)] The rabbit is red.[(triple7)] @1: The cat likes the bear.[(((triple4) -> rule3))] @2: The cat eats the bear.[(((((triple4) -> rule3)) -> rule2))] @3: The bear is young.[(((((((triple4) -> rule3)) -> rule2)) -> rule1))] @4: The bear likes the bear.[(((((((((triple4) -> rule3)) -> rule2)) -> rule1)) -> rule3))] @5: The bear eats the bear.[(((((((((((triple4) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple2
The bear sees the dog.
("bear" "sees" "dog" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat sees the bear.
("cat" "sees" "bear" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The cat likes the bear.
("cat" "likes" "bear" "+")
((triple4) -> (rule3 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat likes the bear.
("cat" "likes" "bear" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat likes the bear.
("cat" "likes" "bear" "+")
int4
The bear eats the bear.
("bear" "eats" "bear" "+")
((((((((((triple4) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat likes the bear.
("cat" "likes" "bear" "+")
int5