The dog is round. The dog is young. The dog sees the squirrel. The lion chases the rabbit. The lion chases the squirrel. The lion is young. The rabbit chases the dog. The rabbit eats the dog. The squirrel is blue. The squirrel is young. If something eats the squirrel and the squirrel sees the lion then the squirrel is blue. If something sees the rabbit and it chases the lion then the rabbit is green. If something chases the squirrel and it sees the lion then it is blue. If something is blue and it eats the dog then the dog chases the lion. If something is green and it eats the dog then the dog eats the rabbit. If something is round and it eats the squirrel then it sees the lion. If something eats the squirrel then it eats the lion. If something eats the lion then it chases the dog.
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is young.
("lion" "is" "young" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something eats the squirrel and the squirrel sees the lion then the squirrel is blue.
((("something" "eats" "squirrel" "+") ("squirrel" "sees" "lion" "+")) -> ("squirrel" "is" "blue" "+"))
If something sees the rabbit and it chases the lion then the rabbit is green.
((("something" "sees" "rabbit" "+") ("something" "chases" "lion" "+")) -> ("rabbit" "is" "green" "+"))
If something chases the squirrel and it sees the lion then it is blue.
((("something" "chases" "squirrel" "+") ("something" "sees" "lion" "+")) -> ("something" "is" "blue" "+"))
If something is blue and it eats the dog then the dog chases the lion.
((("something" "is" "blue" "+") ("something" "eats" "dog" "+")) -> ("dog" "chases" "lion" "+"))
If something is green and it eats the dog then the dog eats the rabbit.
((("something" "is" "green" "+") ("something" "eats" "dog" "+")) -> ("dog" "eats" "rabbit" "+"))
If something is round and it eats the squirrel then it sees the lion.
((("something" "is" "round" "+") ("something" "eats" "squirrel" "+")) -> ("something" "sees" "lion" "+"))
If something eats the squirrel then it eats the lion.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "lion" "+"))
If something eats the lion then it chases the dog.
((("something" "eats" "lion" "+")) -> ("something" "chases" "dog" "+"))
The squirrel is young.
True
1
proof
[(triple10)]
("squirrel" "is" "young" "+")
triple10
The rabbit does not chase the dog.
False
1
inv-proof
[(triple7)]
("rabbit" "chases" "dog" "-")
triple7
The squirrel does not chase the dog.
Unknown
inv-rconc
[@2: The squirrel chases the dog.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("squirrel" "chases" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is round.[(triple1)] The dog is young.[(triple2)] The dog sees the squirrel.[(triple3)] The lion chases the rabbit.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is young.[(triple6)] The rabbit chases the dog.[(triple7)] The rabbit eats the dog.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is young.[(triple10)]
The dog is round.
("dog" "is" "round" "+")
triple1
The dog is young.
("dog" "is" "young" "+")
triple2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple3
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple7
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10