The bear chases the dog. The bear eats the cat. The bear eats the mouse. The bear visits the cat. The bear visits the dog. The cat chases the dog. The cat visits the bear. The cat visits the mouse. The dog chases the mouse. The dog eats the cat. The mouse chases the dog. The mouse eats the cat. The mouse is big. The mouse is red. The mouse is round. The mouse visits the cat. If the dog chases the mouse then the mouse eats the bear. If something chases the bear then the bear visits the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If the dog chases the mouse then the mouse eats the bear.
((("dog" "chases" "mouse" "+")) -> ("mouse" "eats" "bear" "+"))
If something chases the bear then the bear visits the dog.
((("something" "chases" "bear" "+")) -> ("bear" "visits" "dog" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The bear does not visit the dog.
False
1
inv-proof
[(triple5)]
("bear" "visits" "dog" "-")
triple5
The mouse eats the bear.
True
2
proof
[(((triple9) -> rule1))]
("mouse" "eats" "bear" "+")
((triple9) -> (rule1 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse does not eat the bear.
False
2
inv-proof
[(((triple9) -> rule1))]
("mouse" "eats" "bear" "-")
((triple9) -> (rule1 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat eats the dog.
Unknown
random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "+")
The bear does not eat the dog.
Unknown
inv-random
[@0: The bear eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "dog" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The bear chases the dog.[(triple1)] The bear eats the cat.[(triple2)] The bear eats the mouse.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the dog.[(triple5)] The cat chases the dog.[(triple6)] The cat visits the bear.[(triple7)] The cat visits the mouse.[(triple8)] The dog chases the mouse.[(triple9)] The dog eats the cat.[(triple10)] The mouse chases the dog.[(triple11)] The mouse eats the cat.[(triple12)] The mouse is big.[(triple13)] The mouse is red.[(triple14)] The mouse is round.[(triple15)] The mouse visits the cat.[(triple16)] @1: The mouse eats the bear.[(((triple9) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The bear visits the dog.
("bear" "visits" "dog" "+")
triple5
The cat chases the dog.
("cat" "chases" "dog" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple8
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple9
The dog eats the cat.
("dog" "eats" "cat" "+")
triple10
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple11
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
triple13
The mouse is red.
("mouse" "is" "red" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple15
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple16
The mouse eats the bear.
("mouse" "eats" "bear" "+")
((triple9) -> (rule1 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1