The dog chases the tiger. The dog eats the tiger. The dog is kind. The dog sees the tiger. The tiger does not chase the dog. The tiger eats the dog. The tiger is blue. The tiger is nice. The tiger is red. The tiger sees the dog. If someone eats the tiger then they are young. If the dog is nice and the dog sees the tiger then the dog is not young. If someone eats the dog and they are blue then they eat the tiger.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone eats the tiger then they are young.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "young" "+"))
If the dog is nice and the dog sees the tiger then the dog is not young.
((("dog" "is" "nice" "+") ("dog" "sees" "tiger" "+")) -> ("dog" "is" "young" "-"))
If someone eats the dog and they are blue then they eat the tiger.
((("someone" "eats" "dog" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "tiger" "+"))
The tiger is nice.
True
1
proof
[(triple8)]
("tiger" "is" "nice" "+")
triple8
The dog does not chase the tiger.
False
1
inv-proof
[(triple1)]
("dog" "chases" "tiger" "-")
triple1
The tiger eats the tiger.
True
3
proof
[(((triple6 triple7) -> rule3))]
("tiger" "eats" "tiger" "+")
((triple6 triple7) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("tiger" "eats" "tiger" "-")
((triple6 triple7) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog is kind.[(triple3)] The dog sees the tiger.[(triple4)] The tiger does not chase the dog.[(triple5)] The tiger eats the dog.[(triple6)] The tiger is blue.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog is young.[(((triple2) -> rule1))] The tiger eats the tiger.[(((triple6 triple7) -> rule3))] @2: The tiger is young.[(((((triple6 triple7) -> rule3)) -> rule1))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple4
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
triple5
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple6
The tiger is blue.
("tiger" "is" "blue" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
((triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple6 triple7) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((((triple6 triple7) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2