The dog is green. The dog is red. The tiger eats the dog. The tiger is green. The tiger is red. The tiger is rough. The tiger sees the dog. If the tiger eats the dog then the dog likes the tiger.
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If the tiger eats the dog then the dog likes the tiger.
((("tiger" "eats" "dog" "+")) -> ("dog" "likes" "tiger" "+"))
The tiger sees the dog.
True
1
proof
[(triple7)]
("tiger" "sees" "dog" "+")
triple7
The tiger is not red.
False
1
inv-proof
[(triple5)]
("tiger" "is" "red" "-")
triple5
The dog likes the tiger.
True
2
proof
[(((triple3) -> rule1))]
("dog" "likes" "tiger" "+")
((triple3) -> (rule1 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1
The dog does not like the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "likes" "tiger" "-")
((triple3) -> (rule1 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The dog does not eat the tiger.
Unknown
inv-random
[@0: The dog eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "tiger" "-")
The dog sees the tiger.
Unknown
random
[@0: The dog sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "tiger" "+")
@0: The dog is green.[(triple1)] The dog is red.[(triple2)] The tiger eats the dog.[(triple3)] The tiger is green.[(triple4)] The tiger is red.[(triple5)] The tiger is rough.[(triple6)] The tiger sees the dog.[(triple7)] @1: The dog likes the tiger.[(((triple3) -> rule1))]
The dog is green.
("dog" "is" "green" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple3
The tiger is green.
("tiger" "is" "green" "+")
triple4
The tiger is red.
("tiger" "is" "red" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple7
The dog likes the tiger.
("dog" "likes" "tiger" "+")
((triple3) -> (rule1 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1