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