The dog is blue. The dog is red. The dog is round. The dog likes the lion. The dog likes the mouse. The dog needs the lion. The dog needs the mouse. The lion is nice. The lion likes the mouse. The lion needs the mouse. The mouse chases the dog. The mouse is blue. The mouse is cold. The mouse likes the lion. The mouse needs the dog. If the dog is round and the dog is nice then the dog is blue.
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If the dog is round and the dog is nice then the dog is blue.
((("dog" "is" "round" "+") ("dog" "is" "nice" "+")) -> ("dog" "is" "blue" "+"))
The lion is nice.
True
1
proof
[(triple8)]
("lion" "is" "nice" "+")
triple8
The mouse does not need the dog.
False
1
inv-proof
[(triple15)]
("mouse" "needs" "dog" "-")
triple15
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The dog is blue.[(triple1)] The dog is red.[(triple2)] The dog is round.[(triple3)] The dog likes the lion.[(triple4)] The dog likes the mouse.[(triple5)] The dog needs the lion.[(triple6)] The dog needs the mouse.[(triple7)] The lion is nice.[(triple8)] The lion likes the mouse.[(triple9)] The lion needs the mouse.[(triple10)] The mouse chases the dog.[(triple11)] The mouse is blue.[(triple12)] The mouse is cold.[(triple13)] The mouse likes the lion.[(triple14)] The mouse needs the dog.[(triple15)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog likes the lion.
("dog" "likes" "lion" "+")
triple4
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple5
The dog needs the lion.
("dog" "needs" "lion" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple9
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple10
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple14
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple15