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