The dog eats the lion. The dog eats the tiger. The dog sees the tiger. The lion eats the dog. The lion eats the tiger. The tiger is blue. The tiger sees the dog. If someone sees the tiger then the tiger is blue. If someone eats the tiger then the tiger is young.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone sees the tiger then the tiger is blue.
((("someone" "sees" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If someone eats the tiger then the tiger is young.
((("someone" "eats" "tiger" "+")) -> ("tiger" "is" "young" "+"))
The dog eats the tiger.
True
1
proof
[(triple2)]
("dog" "eats" "tiger" "+")
triple2
The lion does not eat the dog.
False
1
inv-proof
[(triple4)]
("lion" "eats" "dog" "-")
triple4
The tiger is young.
True
2
proof
[(((triple2) -> rule2) OR ((triple5) -> rule2))]
("tiger" "is" "young" "+")
((triple2) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((triple5) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple5) -> rule2))]
("tiger" "is" "young" "-")
((triple2) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((triple5) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The lion does not see the dog.
Unknown
inv-random
[@0: The lion sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "dog" "-")
The dog needs the lion.
Unknown
random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "+")
@0: The dog eats the lion.[(triple1)] The dog eats the tiger.[(triple2)] The dog sees the tiger.[(triple3)] The lion eats the dog.[(triple4)] The lion eats the tiger.[(triple5)] The tiger is blue.[(triple6 OR ((triple3) -> rule1))] The tiger sees the dog.[(triple7)] @1: The tiger is young.[(((triple2) -> rule2) OR ((triple5) -> rule2))]
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple3
The lion eats the dog.
("lion" "eats" "dog" "+")
triple4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
((triple3) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple7
The tiger is young.
("tiger" "is" "young" "+")
((triple2) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((triple5) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1