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