The cow is not big. The dog sees the tiger. The squirrel eats the tiger. The squirrel is rough. The tiger eats the dog. The tiger likes the dog. The tiger likes the squirrel. If someone sees the tiger then the tiger is not blue. If someone likes the dog and they are not blue then they eat the tiger.
The cow is not big.
("cow" "is" "big" "-")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone sees the tiger then the tiger is not blue.
((("someone" "sees" "tiger" "+")) -> ("tiger" "is" "blue" "-"))
If someone likes the dog and they are not blue then they eat the tiger.
((("someone" "likes" "dog" "+") ("someone" "is" "blue" "~")) -> ("someone" "eats" "tiger" "+"))
The tiger likes the dog.
True
1
proof
[(triple6)]
("tiger" "likes" "dog" "+")
triple6
The cow is big.
False
1
inv-proof
[(triple1)]
("cow" "is" "big" "+")
triple1
The tiger is not blue.
True
2
proof
[(((triple2) -> rule1))]
("tiger" "is" "blue" "-")
((triple2) -> (rule1 % int1))
The tiger is not blue.
("tiger" "is" "blue" "-")
int1
The tiger is blue.
False
2
inv-proof
[(((triple2) -> rule1))]
("tiger" "is" "blue" "+")
((triple2) -> (rule1 % int1))
The tiger is not blue.
("tiger" "is" "blue" "-")
int1
The tiger eats the tiger.
True
4
proof
[(((triple6 ((triple2) -> rule1)) -> rule2))]
("tiger" "eats" "tiger" "+")
((triple6 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is not blue.
("tiger" "is" "blue" "-")
int2
The tiger does not eat the tiger.
False
4
inv-proof
[(((triple6 ((triple2) -> rule1)) -> rule2))]
("tiger" "eats" "tiger" "-")
((triple6 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is not blue.
("tiger" "is" "blue" "-")
int2
The cow does not eat the tiger.
Unknown
inv-rconc
[@1: The cow eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "tiger" "-")
The dog eats the tiger.
Unknown
rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "tiger" "+")
The cow does not eat the squirrel.
Unknown
inv-random
[@0: The cow eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "squirrel" "-")
The squirrel eats the dog.
Unknown
random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The cow sees the squirrel.
Unknown
random
[@0: The cow sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "squirrel" "+")
@0: The cow is not big.[(triple1)] The dog sees the tiger.[(triple2)] The squirrel eats the tiger.[(triple3)] The squirrel is rough.[(triple4)] The tiger eats the dog.[(triple5)] The tiger likes the dog.[(triple6)] The tiger likes the squirrel.[(triple7)] @1: The tiger is not blue.[(((triple2) -> rule1))] @2: The tiger eats the tiger.[(((triple6 ((triple2) -> rule1)) -> rule2))]
The cow is not big.
("cow" "is" "big" "-")
triple1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple5
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple6
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple7
The tiger is not blue.
("tiger" "is" "blue" "-")
((triple2) -> (rule1 % int1))
The tiger is not blue.
("tiger" "is" "blue" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple6 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is not blue.
("tiger" "is" "blue" "-")
int2