The cow eats the dog. The cow does not need the dog. The dog eats the cow. The dog eats the rabbit. The lion is green. The lion needs the cow. The rabbit chases the dog. The rabbit chases the lion. The rabbit is rough. The rabbit does not need the cow. Green people are blue. All blue people are green. If someone eats the lion and they do not chase the rabbit then the lion eats the rabbit. If someone is green and they need the rabbit then the rabbit does not need the lion. If someone needs the lion and they are not blue then they eat the rabbit. If someone is blue then they eat the rabbit.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow does not need the dog.
("cow" "needs" "dog" "-")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The lion is green.
("lion" "is" "green" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone eats the lion and they do not chase the rabbit then the lion eats the rabbit.
((("someone" "eats" "lion" "+") ("someone" "chases" "rabbit" "~")) -> ("lion" "eats" "rabbit" "+"))
If someone is green and they need the rabbit then the rabbit does not need the lion.
((("someone" "is" "green" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "needs" "lion" "-"))
If someone needs the lion and they are not blue then they eat the rabbit.
((("someone" "needs" "lion" "+") ("someone" "is" "blue" "~")) -> ("someone" "eats" "rabbit" "+"))
If someone is blue then they eat the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "rabbit" "+"))
The lion needs the cow.
True
1
proof
[(triple6)]
("lion" "needs" "cow" "+")
triple6
The rabbit does not chase the lion.
False
1
inv-proof
[(triple8)]
("rabbit" "chases" "lion" "-")
triple8
The lion is blue.
True
2
proof
[(((triple5) -> rule1))]
("lion" "is" "blue" "+")
((triple5) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not blue.
False
2
inv-proof
[(((triple5) -> rule1))]
("lion" "is" "blue" "-")
((triple5) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion eats the rabbit.
True
3
proof
[(((((triple5) -> rule1)) -> rule6))]
("lion" "eats" "rabbit" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion does not eat the rabbit.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule6))]
("lion" "eats" "rabbit" "-")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The cow is not green.
Unknown
inv-rconc
[@2: The cow is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("cow" "is" "green" "-")
The cow is blue.
Unknown
rconc
[@2: The cow is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "is" "blue" "+")
The rabbit is not blue.
Unknown
inv-rconc
[@2: The rabbit is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("rabbit" "is" "blue" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The cow does not need the dog.[(triple2)] The cow eats the dog.[(triple1)] The dog eats the cow.[(triple3)] The dog eats the rabbit.[(triple4)] The lion is green.[(triple5)] The lion needs the cow.[(triple6)] The rabbit chases the dog.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit does not need the cow.[(triple10)] The rabbit is rough.[(triple9)] @1: The lion is blue.[(((triple5) -> rule1))] @2: The lion eats the rabbit.[(((((triple5) -> rule1)) -> rule6))]
The cow does not need the dog.
("cow" "needs" "dog" "-")
triple2
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The dog eats the cow.
("dog" "eats" "cow" "+")
triple3
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion needs the cow.
("lion" "needs" "cow" "+")
triple6
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple7
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple8
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
((triple5) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2