The bear is blue. The bear is kind. The cat does not eat the rabbit. The cat is blue. The cat is not kind. The cat is red. The lion eats the rabbit. The lion is blue. The lion is not red. The rabbit chases the bear. The rabbit chases the lion. The rabbit does not eat the cat. The rabbit does not eat the lion. The rabbit is blue. The rabbit needs the bear. If someone is kind then they eat the lion. If someone chases the bear and they are red then the bear eats the rabbit. If someone is kind and they do not chase the lion then they need the cat. If someone needs the lion then the lion eats the rabbit. If someone eats the lion and they are blue then they eat the cat. If someone eats the cat then the cat does not chase the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is red.
("cat" "is" "red" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not red.
("lion" "is" "red" "-")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If someone is kind then they eat the lion.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "lion" "+"))
If someone chases the bear and they are red then the bear eats the rabbit.
((("someone" "chases" "bear" "+") ("someone" "is" "red" "+")) -> ("bear" "eats" "rabbit" "+"))
If someone is kind and they do not chase the lion then they need the cat.
((("someone" "is" "kind" "+") ("someone" "chases" "lion" "~")) -> ("someone" "needs" "cat" "+"))
If someone needs the lion then the lion eats the rabbit.
((("someone" "needs" "lion" "+")) -> ("lion" "eats" "rabbit" "+"))
If someone eats the lion and they are blue then they eat the cat.
((("someone" "eats" "lion" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the cat then the cat does not chase the bear.
((("someone" "eats" "cat" "+")) -> ("cat" "chases" "bear" "-"))
The rabbit chases the lion.
True
1
proof
[(triple11)]
("rabbit" "chases" "lion" "+")
triple11
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The bear eats the lion.
True
2
proof
[(((triple2) -> rule1))]
("bear" "eats" "lion" "+")
((triple2) -> (rule1 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear does not eat the lion.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "eats" "lion" "-")
((triple2) -> (rule1 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear eats the cat.
True
4
proof
[(((((triple2) -> rule1) triple1) -> rule5))]
("bear" "eats" "cat" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear does not eat the cat.
False
4
inv-proof
[(((((triple2) -> rule1) triple1) -> rule5))]
("bear" "eats" "cat" "-")
((((triple2) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The cat does not chase the bear.
True
5
proof
[(((((((triple2) -> rule1) triple1) -> rule5)) -> rule6))]
("cat" "chases" "bear" "-")
((((((triple2) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
The cat does not chase the bear.
("cat" "chases" "bear" "-")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
int3
The cat chases the bear.
False
5
inv-proof
[(((((((triple2) -> rule1) triple1) -> rule5)) -> rule6))]
("cat" "chases" "bear" "+")
((((((triple2) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
The cat does not chase the bear.
("cat" "chases" "bear" "-")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
int3
The lion does not eat the cat.
Unknown
inv-rconc
[@2: The lion eats the cat.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("lion" "eats" "cat" "-")
The rabbit needs the cat.
Unknown
rconc
[@1: The rabbit needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "needs" "cat" "+")
The lion does not need the cat.
Unknown
inv-rconc
[@1: The lion needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "cat" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "lion" "+")
The rabbit does not need the lion.
Unknown
inv-random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The bear does not need the lion.
Unknown
inv-random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "-")
The cat needs the bear.
Unknown
random
[@0: The cat needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bear" "+")
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The cat does not eat the rabbit.[(triple3)] The cat is blue.[(triple4)] The cat is not kind.[(triple5)] The cat is red.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is blue.[(triple8)] The lion is not red.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit does not eat the cat.[(triple12)] The rabbit does not eat the lion.[(triple13)] The rabbit is blue.[(triple14)] The rabbit needs the bear.[(triple15)] @1: The bear eats the lion.[(((triple2) -> rule1))] @2: The bear eats the cat.[(((((triple2) -> rule1) triple1) -> rule5))] @3: The cat does not chase the bear.[(((((((triple2) -> rule1) triple1) -> rule5)) -> rule6))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is not kind.
("cat" "is" "kind" "-")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion is not red.
("lion" "is" "red" "-")
triple9
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple10
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple11
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
triple12
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
triple13
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple14
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple15
The bear eats the lion.
("bear" "eats" "lion" "+")
((triple2) -> (rule1 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The cat does not chase the bear.
("cat" "chases" "bear" "-")
((((((triple2) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
The cat does not chase the bear.
("cat" "chases" "bear" "-")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
int3