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