The dog chases the lion. The dog chases the squirrel. The dog does not eat the squirrel. The dog is big. The dog is cold. The dog is round. The dog needs the squirrel. The lion chases the squirrel. The lion does not eat the dog. The lion eats the squirrel. The lion is not blue. The lion is round. The lion is young. The lion does not need the dog. The lion needs the squirrel. The squirrel needs the lion. If someone eats the squirrel and the squirrel is young then the squirrel does not eat the lion. If someone eats the lion then they are round. Blue people are cold.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion does not eat the dog.
("lion" "eats" "dog" "-")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion does not need the dog.
("lion" "needs" "dog" "-")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone eats the squirrel and the squirrel is young then the squirrel does not eat the lion.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "eats" "lion" "-"))
If someone eats the lion then they are round.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "round" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
The dog does not eat the squirrel.
True
1
proof
[(triple3)]
("dog" "eats" "squirrel" "-")
triple3
The lion does not chase the squirrel.
False
1
inv-proof
[(triple8)]
("lion" "chases" "squirrel" "-")
triple8
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "round" "-")
The squirrel eats the dog.
Unknown
random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "+")
@0: The dog chases the lion.[(triple1)] The dog chases the squirrel.[(triple2)] The dog does not eat the squirrel.[(triple3)] The dog is big.[(triple4)] The dog is cold.[(triple5)] The dog is round.[(triple6)] The dog needs the squirrel.[(triple7)] The lion chases the squirrel.[(triple8)] The lion does not eat the dog.[(triple9)] The lion does not need the dog.[(triple14)] The lion eats the squirrel.[(triple10)] The lion is not blue.[(triple11)] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion needs the squirrel.[(triple15)] The squirrel needs the lion.[(triple16)]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple8
The lion does not eat the dog.
("lion" "eats" "dog" "-")
triple9
The lion does not need the dog.
("lion" "needs" "dog" "-")
triple14
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple10
The lion is not blue.
("lion" "is" "blue" "-")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple15
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple16