The dog is blue. The dog is green. The rabbit is blue. The rabbit is green. The rabbit is kind. The squirrel chases the dog. The squirrel is big. If someone chases the squirrel and the squirrel chases the dog then they chase the rabbit. If someone is kind then they chase the dog. If someone likes the dog and the dog chases the rabbit then the dog likes the squirrel. If someone needs the rabbit and they are kind then they are green. If the rabbit chases the squirrel and the squirrel is blue then the rabbit likes the squirrel. If someone chases the squirrel then they like the squirrel. If someone chases the dog then they like the rabbit. If someone chases the rabbit then they need the dog.
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
If someone chases the squirrel and the squirrel chases the dog then they chase the rabbit.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "dog" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is kind then they chase the dog.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "dog" "+"))
If someone likes the dog and the dog chases the rabbit then the dog likes the squirrel.
((("someone" "likes" "dog" "+") ("dog" "chases" "rabbit" "+")) -> ("dog" "likes" "squirrel" "+"))
If someone needs the rabbit and they are kind then they are green.
((("someone" "needs" "rabbit" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If the rabbit chases the squirrel and the squirrel is blue then the rabbit likes the squirrel.
((("rabbit" "chases" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If someone chases the squirrel then they like the squirrel.
((("someone" "chases" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone chases the dog then they like the rabbit.
((("someone" "chases" "dog" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone chases the rabbit then they need the dog.
((("someone" "chases" "rabbit" "+")) -> ("someone" "needs" "dog" "+"))
The squirrel is big.
True
1
proof
[(triple7)]
("squirrel" "is" "big" "+")
triple7
The dog is not blue.
False
1
inv-proof
[(triple1)]
("dog" "is" "blue" "-")
triple1
The squirrel likes the rabbit.
True
2
proof
[(((triple6) -> rule7))]
("squirrel" "likes" "rabbit" "+")
((triple6) -> (rule7 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel does not like the rabbit.
False
2
inv-proof
[(((triple6) -> rule7))]
("squirrel" "likes" "rabbit" "-")
((triple6) -> (rule7 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The rabbit likes the rabbit.
True
3
proof
[(((((triple5) -> rule2)) -> rule7))]
("rabbit" "likes" "rabbit" "+")
((((triple5) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit does not like the rabbit.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule7))]
("rabbit" "likes" "rabbit" "-")
((((triple5) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The dog does not like the rabbit.
Unknown
inv-rconc
[@2: The dog likes the rabbit.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("dog" "likes" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "dog" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The dog does not need the rabbit.
Unknown
inv-random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is green.[(triple4)] The rabbit is kind.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel is big.[(triple7)] @1: The rabbit chases the dog.[(((triple5) -> rule2))] The squirrel likes the rabbit.[(((triple6) -> rule7))] @2: The rabbit likes the rabbit.[(((((triple5) -> rule2)) -> rule7))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
((triple5) -> (rule2 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
((triple6) -> (rule7 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((triple5) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2