The cat eats the dog. The cat eats the tiger. The cat is blue. The cat likes the mouse. The cat likes the tiger. The cat visits the mouse. The cat visits the tiger. The dog is blue. The dog is rough. The mouse is blue. The mouse is rough. The mouse visits the tiger. The tiger eats the mouse. The tiger is red. The tiger is rough. The tiger is round. If someone eats the dog then the dog visits the cat. If someone eats the mouse then they eat the dog. If someone likes the mouse and they are red then they like the tiger. If the mouse is rough then the mouse is young. If someone eats the tiger then they are young. If someone is rough and they eat the tiger then they eat the cat.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is 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 dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone eats the dog then the dog visits the cat.
((("someone" "eats" "dog" "+")) -> ("dog" "visits" "cat" "+"))
If someone eats the mouse then they eat the dog.
((("someone" "eats" "mouse" "+")) -> ("someone" "eats" "dog" "+"))
If someone likes the mouse and they are red then they like the tiger.
((("someone" "likes" "mouse" "+") ("someone" "is" "red" "+")) -> ("someone" "likes" "tiger" "+"))
If the mouse is rough then the mouse is young.
((("mouse" "is" "rough" "+")) -> ("mouse" "is" "young" "+"))
If someone eats the tiger then they are young.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and they eat the tiger then they eat the cat.
((("someone" "is" "rough" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "eats" "cat" "+"))
The cat is blue.
True
1
proof
[(triple3)]
("cat" "is" "blue" "+")
triple3
The mouse does not visit the tiger.
False
1
inv-proof
[(triple12)]
("mouse" "visits" "tiger" "-")
triple12
The tiger does not eat the cat.
Unknown
inv-rconc
[@1: The tiger eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "eats" "cat" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The cat eats the dog.[(triple1)] The cat eats the tiger.[(triple2)] The cat is 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 dog is blue.[(triple8)] The dog is rough.[(triple9)] The mouse is blue.[(triple10)] The mouse is rough.[(triple11)] The mouse visits the tiger.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is red.[(triple14)] The tiger is rough.[(triple15)] The tiger is round.[(triple16)] @1: The cat is young.[(((triple2) -> rule5))] The dog visits the cat.[(((triple1) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] The mouse is young.[(((triple11) -> rule4))] The tiger eats the dog.[(((triple13) -> rule2))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat is 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 dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple11
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple12
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
The tiger is round.
("tiger" "is" "round" "+")
triple16
The cat is young.
("cat" "is" "young" "+")
((triple2) -> (rule5 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The dog visits the cat.
("dog" "visits" "cat" "+")
((triple1) -> (rule1 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
((triple11) -> (rule4 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
((triple13) -> (rule2 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1