The bear is big. The bear is green. The cat chases the cow. The cat is red. The cat visits the rabbit. The cow chases the cat. The cow needs the bear. The cow visits the rabbit. The rabbit is big. The rabbit needs the bear. The rabbit needs the cow. If someone is red then they chase the bear. If someone is green and they need the cow then they need the cat. If someone needs the bear and they are kind then the bear chases the cat. If the bear is big then the bear visits the cow. If someone visits the rabbit and they chase the bear then the bear needs the cow. If someone is green and they chase the cow then the cow chases the bear. If someone needs the cat then they need the rabbit. If someone needs the rabbit then the rabbit is red. If someone is rough and they need the cow then they need the rabbit.
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is red.
("cat" "is" "red" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If someone is red then they chase the bear.
((("someone" "is" "red" "+")) -> ("someone" "chases" "bear" "+"))
If someone is green and they need the cow then they need the cat.
((("someone" "is" "green" "+") ("someone" "needs" "cow" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the bear and they are kind then the bear chases the cat.
((("someone" "needs" "bear" "+") ("someone" "is" "kind" "+")) -> ("bear" "chases" "cat" "+"))
If the bear is big then the bear visits the cow.
((("bear" "is" "big" "+")) -> ("bear" "visits" "cow" "+"))
If someone visits the rabbit and they chase the bear then the bear needs the cow.
((("someone" "visits" "rabbit" "+") ("someone" "chases" "bear" "+")) -> ("bear" "needs" "cow" "+"))
If someone is green and they chase the cow then the cow chases the bear.
((("someone" "is" "green" "+") ("someone" "chases" "cow" "+")) -> ("cow" "chases" "bear" "+"))
If someone needs the cat then they need the rabbit.
((("someone" "needs" "cat" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the rabbit then the rabbit is red.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If someone is rough and they need the cow then they need the rabbit.
((("someone" "is" "rough" "+") ("someone" "needs" "cow" "+")) -> ("someone" "needs" "rabbit" "+"))
The cat chases the cow.
True
1
proof
[(triple3)]
("cat" "chases" "cow" "+")
triple3
The bear is not green.
False
1
inv-proof
[(triple2)]
("bear" "is" "green" "-")
triple2
The cat chases the bear.
True
2
proof
[(((triple4) -> rule1))]
("cat" "chases" "bear" "+")
((triple4) -> (rule1 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear does not visit the cow.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "visits" "cow" "-")
((triple1) -> (rule4 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear needs the cow.
True
4
proof
[(((triple5 ((triple4) -> rule1)) -> rule5))]
("bear" "needs" "cow" "+")
((triple5 ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The bear does not need the cow.
False
4
inv-proof
[(((triple5 ((triple4) -> rule1)) -> rule5))]
("bear" "needs" "cow" "-")
((triple5 ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The bear needs the cat.
True
6
proof
[(((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2))]
("bear" "needs" "cat" "+")
((triple2 ((triple5 ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The bear does not need the cat.
False
6
inv-proof
[(((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2))]
("bear" "needs" "cat" "-")
((triple2 ((triple5 ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The bear needs the rabbit.
True
7
proof
[(((((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2)) -> rule7))]
("bear" "needs" "rabbit" "+")
((((triple2 ((triple5 ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear needs the cow.
("bear" "needs" "cow" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The bear does not need the rabbit.
False
7
inv-proof
[(((((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2)) -> rule7))]
("bear" "needs" "rabbit" "-")
((((triple2 ((triple5 ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear needs the cow.
("bear" "needs" "cow" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The rabbit is red.
True
8
proof
[(((((((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2)) -> rule7)) -> rule8))]
("rabbit" "is" "red" "+")
((((((triple2 ((triple5 ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear needs the cat.
("bear" "needs" "cat" "+")
int3
The bear needs the cow.
("bear" "needs" "cow" "+")
int4
The cat chases the bear.
("cat" "chases" "bear" "+")
int5
The rabbit is not red.
False
8
inv-proof
[(((((((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2)) -> rule7)) -> rule8))]
("rabbit" "is" "red" "-")
((((((triple2 ((triple5 ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear needs the cat.
("bear" "needs" "cat" "+")
int3
The bear needs the cow.
("bear" "needs" "cow" "+")
int4
The cat chases the bear.
("cat" "chases" "bear" "+")
int5
The cow does not need the rabbit.
Unknown
inv-rconc
[@2: The cow needs the rabbit.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("cow" "needs" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
rconc
[@2: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("rabbit" "needs" "rabbit" "+")
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "bear" "-")
The cow needs the cat.
Unknown
rconc
[@1: The cow needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "cat" "+")
The rabbit does not need the cat.
Unknown
inv-rconc
[@1: The rabbit needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "cat" "-")
The bear chases the cat.
Unknown
rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "cat" "+")
The rabbit does not chase the cow.
Unknown
inv-random
[@0: The rabbit chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cow" "-")
The rabbit visits the cow.
Unknown
random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The cat chases the cow.[(triple3)] The cat is red.[(triple4)] The cat visits the rabbit.[(triple5)] The cow chases the cat.[(triple6)] The cow needs the bear.[(triple7)] The cow visits the rabbit.[(triple8)] The rabbit is big.[(triple9)] The rabbit needs the bear.[(triple10)] The rabbit needs the cow.[(triple11)] @1: The bear visits the cow.[(((triple1) -> rule4))] The cat chases the bear.[(((triple4) -> rule1))] @2: The bear needs the cow.[(((triple5 ((triple4) -> rule1)) -> rule5))] @3: The bear needs the cat.[(((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2))] @4: The bear needs the rabbit.[(((((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2)) -> rule7))] @5: The rabbit is red.[(((((((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2)) -> rule7)) -> rule8))] @6: The rabbit chases the bear.[(((((((((triple2 ((triple5 ((triple4) -> rule1)) -> rule5)) -> rule2)) -> rule7)) -> rule8)) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The cat chases the cow.
("cat" "chases" "cow" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple10
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple11
The bear visits the cow.
("bear" "visits" "cow" "+")
((triple1) -> (rule4 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
((triple4) -> (rule1 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
((triple5 ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple2 ((triple5 ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
((((triple2 ((triple5 ((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear needs the cow.
("bear" "needs" "cow" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
((((((triple2 ((triple5 ((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear needs the cat.
("bear" "needs" "cat" "+")
int3
The bear needs the cow.
("bear" "needs" "cow" "+")
int4
The cat chases the bear.
("cat" "chases" "bear" "+")
int5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((((((triple2 ((triple5 ((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int3
The bear needs the cat.
("bear" "needs" "cat" "+")
int4
The bear needs the cow.
("bear" "needs" "cow" "+")
int5
The cat chases the bear.
("cat" "chases" "bear" "+")
int6