The bear chases the cat. The bear chases the mouse. The cat chases the rabbit. The cat eats the rabbit. The cat is blue. The cat is green. The cat is red. The cat likes the rabbit. The mouse is round. The mouse likes the rabbit. The rabbit chases the cat. The rabbit chases the mouse. The rabbit eats the cat. The rabbit eats the mouse. The rabbit likes the bear. The rabbit likes the cat. If someone eats the cat then they eat the rabbit. If the rabbit chases the bear and the rabbit likes the bear then the bear is nice. If the bear eats the rabbit then the rabbit chases the bear. If the mouse is nice then the mouse chases the rabbit. If someone likes the bear then the bear eats the cat. If someone chases the rabbit and the rabbit is blue then the rabbit is nice. If someone is nice and they eat the cat then they like the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If someone eats the cat then they eat the rabbit.
((("someone" "eats" "cat" "+")) -> ("someone" "eats" "rabbit" "+"))
If the rabbit chases the bear and the rabbit likes the bear then the bear is nice.
((("rabbit" "chases" "bear" "+") ("rabbit" "likes" "bear" "+")) -> ("bear" "is" "nice" "+"))
If the bear eats the rabbit then the rabbit chases the bear.
((("bear" "eats" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
If the mouse is nice then the mouse chases the rabbit.
((("mouse" "is" "nice" "+")) -> ("mouse" "chases" "rabbit" "+"))
If someone likes the bear then the bear eats the cat.
((("someone" "likes" "bear" "+")) -> ("bear" "eats" "cat" "+"))
If someone chases the rabbit and the rabbit is blue then the rabbit is nice.
((("someone" "chases" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "nice" "+"))
If someone is nice and they eat the cat then they like the cat.
((("someone" "is" "nice" "+") ("someone" "eats" "cat" "+")) -> ("someone" "likes" "cat" "+"))
The rabbit chases the cat.
True
1
proof
[(triple11)]
("rabbit" "chases" "cat" "+")
triple11
The bear does not chase the cat.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cat" "-")
triple1
The rabbit eats the rabbit.
True
2
proof
[(((triple13) -> rule1))]
("rabbit" "eats" "rabbit" "+")
((triple13) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The bear does not eat the cat.
False
2
inv-proof
[(((triple15) -> rule5))]
("bear" "eats" "cat" "-")
((triple15) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear eats the rabbit.
True
3
proof
[(((((triple15) -> rule5)) -> rule1))]
("bear" "eats" "rabbit" "+")
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear does not eat the rabbit.
False
3
inv-proof
[(((((triple15) -> rule5)) -> rule1))]
("bear" "eats" "rabbit" "-")
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The rabbit chases the bear.
True
4
proof
[(((((((triple15) -> rule5)) -> rule1)) -> rule3))]
("rabbit" "chases" "bear" "+")
((((((triple15) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The rabbit does not chase the bear.
False
4
inv-proof
[(((((((triple15) -> rule5)) -> rule1)) -> rule3))]
("rabbit" "chases" "bear" "-")
((((((triple15) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear is nice.
True
6
proof
[(((((((((triple15) -> rule5)) -> rule1)) -> rule3) triple15) -> rule2))]
("bear" "is" "nice" "+")
((((((((triple15) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple15) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear is not nice.
False
6
inv-proof
[(((((((((triple15) -> rule5)) -> rule1)) -> rule3) triple15) -> rule2))]
("bear" "is" "nice" "-")
((((((((triple15) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple15) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear likes the cat.
True
9
proof
[(((((((((((triple15) -> rule5)) -> rule1)) -> rule3) triple15) -> rule2) ((triple15) -> rule5)) -> rule7))]
("bear" "likes" "cat" "+")
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) triple15) -> (rule2 % int2)) ((triple15) -> (rule5 % int5))) -> (rule7 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear does not like the cat.
False
9
inv-proof
[(((((((((((triple15) -> rule5)) -> rule1)) -> rule3) triple15) -> rule2) ((triple15) -> rule5)) -> rule7))]
("bear" "likes" "cat" "-")
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) triple15) -> (rule2 % int2)) ((triple15) -> (rule5 % int5))) -> (rule7 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "likes" "cat" "-")
The mouse chases the rabbit.
Unknown
rconc
[@1: The mouse chases the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "chases" "rabbit" "+")
The mouse does not like the cat.
Unknown
inv-rconc
[@1: The mouse likes the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "likes" "cat" "-")
The mouse eats the rabbit.
Unknown
rconc
[@1: The mouse eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "rabbit" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "nice" "-")
The cat eats the bear.
Unknown
random
[@0: The cat eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bear" "+")
The mouse does not chase the bear.
Unknown
inv-random
[@0: The mouse chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bear" "-")
The mouse eats the cat.
Unknown
random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The rabbit does not eat the bear.
Unknown
inv-random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the mouse.[(triple2)] The cat chases the rabbit.[(triple3)] The cat eats the rabbit.[(triple4)] The cat is blue.[(triple5)] The cat is green.[(triple6)] The cat is red.[(triple7)] The cat likes the rabbit.[(triple8)] The mouse is round.[(triple9)] The mouse likes the rabbit.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit chases the mouse.[(triple12)] The rabbit eats the cat.[(triple13)] The rabbit eats the mouse.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit likes the cat.[(triple16)] @1: The bear eats the cat.[(((triple15) -> rule5))] The rabbit eats the rabbit.[(((triple13) -> rule1))] @2: The bear eats the rabbit.[(((((triple15) -> rule5)) -> rule1))] @3: The rabbit chases the bear.[(((((((triple15) -> rule5)) -> rule1)) -> rule3))] @4: The bear is nice.[(((((((((triple15) -> rule5)) -> rule1)) -> rule3) triple15) -> rule2))] @5: The bear likes the cat.[(((((((((((triple15) -> rule5)) -> rule1)) -> rule3) triple15) -> rule2) ((triple15) -> rule5)) -> rule7))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple10
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple11
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple12
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple13
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple14
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple15
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple16
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple15) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple13) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((((triple15) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
((((((((triple15) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple15) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear likes the cat.
("bear" "likes" "cat" "+")
((((((((((triple15) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) triple15) -> (rule2 % int2)) ((triple15) -> (rule5 % int5))) -> (rule7 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5