The dog chases the mouse. The dog chases the squirrel. The dog chases the tiger. The dog does not eat the mouse. The dog eats the tiger. The dog is big. The dog is blue. The dog is kind. The dog is round. The mouse chases the tiger. The mouse is not big. The mouse sees the dog. The squirrel chases the mouse. The squirrel chases the tiger. The squirrel is cold. The tiger does not see the dog. If someone eats the squirrel then they do not chase the mouse.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger does not see the dog.
("tiger" "sees" "dog" "-")
If someone eats the squirrel then they do not chase the mouse.
((("someone" "eats" "squirrel" "+")) -> ("someone" "chases" "mouse" "-"))
The dog is round.
True
1
proof
[(triple9)]
("dog" "is" "round" "+")
triple9
The dog is not round.
False
1
inv-proof
[(triple9)]
("dog" "is" "round" "-")
triple9
The mouse does not eat the dog.
Unknown
inv-random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The dog chases the mouse.[(triple1)] The dog chases the squirrel.[(triple2)] The dog chases the tiger.[(triple3)] The dog does not eat the mouse.[(triple4)] The dog eats the tiger.[(triple5)] The dog is big.[(triple6)] The dog is blue.[(triple7)] The dog is kind.[(triple8)] The dog is round.[(triple9)] The mouse chases the tiger.[(triple10)] The mouse is not big.[(triple11)] The mouse sees the dog.[(triple12)] The squirrel chases the mouse.[(triple13)] The squirrel chases the tiger.[(triple14)] The squirrel is cold.[(triple15)] The tiger does not see the dog.[(triple16)]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple3
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
triple4
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple10
The mouse is not big.
("mouse" "is" "big" "-")
triple11
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple12
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple13
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple14
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple15
The tiger does not see the dog.
("tiger" "sees" "dog" "-")
triple16