The dog is big. The dog is green. The dog likes the tiger. The dog sees the squirrel. The dog sees the tiger. The squirrel is big. The squirrel likes the dog. The squirrel sees the dog. The squirrel sees the tiger. The tiger is blue. The tiger is green. The tiger is rough. The tiger likes the squirrel. The tiger sees the dog. The tiger visits the dog. If something visits the tiger then the tiger likes the dog. If something likes the squirrel and the squirrel sees the tiger then the squirrel visits the tiger.
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If something visits the tiger then the tiger likes the dog.
((("something" "visits" "tiger" "+")) -> ("tiger" "likes" "dog" "+"))
If something likes the squirrel and the squirrel sees the tiger then the squirrel visits the tiger.
((("something" "likes" "squirrel" "+") ("squirrel" "sees" "tiger" "+")) -> ("squirrel" "visits" "tiger" "+"))
The tiger likes the squirrel.
True
1
proof
[(triple13)]
("tiger" "likes" "squirrel" "+")
triple13
The tiger does not visit the dog.
False
1
inv-proof
[(triple15)]
("tiger" "visits" "dog" "-")
triple15
The squirrel visits the tiger.
True
3
proof
[(((triple13 triple9) -> rule2))]
("squirrel" "visits" "tiger" "+")
((triple13 triple9) -> (rule2 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The squirrel does not visit the tiger.
False
3
inv-proof
[(((triple13 triple9) -> rule2))]
("squirrel" "visits" "tiger" "-")
((triple13 triple9) -> (rule2 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger likes the dog.
True
4
proof
[(((((triple13 triple9) -> rule2)) -> rule1))]
("tiger" "likes" "dog" "+")
((((triple13 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int2
The tiger does not like the dog.
False
4
inv-proof
[(((((triple13 triple9) -> rule2)) -> rule1))]
("tiger" "likes" "dog" "-")
((((triple13 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int2
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog likes the squirrel.
Unknown
random
[@0: The dog likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "squirrel" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The tiger sees the squirrel.
Unknown
random
[@0: The tiger sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "squirrel" "+")
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog likes the tiger.[(triple3)] The dog sees the squirrel.[(triple4)] The dog sees the tiger.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the dog.[(triple7)] The squirrel sees the dog.[(triple8)] The squirrel sees the tiger.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger likes the squirrel.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the dog.[(triple15)] @1: The squirrel visits the tiger.[(((triple13 triple9) -> rule2))] @2: The tiger likes the dog.[(((((triple13 triple9) -> rule2)) -> rule1))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple3
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple4
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple8
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple13
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple14
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple15
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
((triple13 triple9) -> (rule2 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
((((triple13 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int2