The cow is green. The cow is rough. The tiger eats the cow. The tiger is blue. The tiger is green. The tiger is not kind. The tiger is rough. The tiger is young. The tiger does not like the cow. The tiger sees the cow. If something likes the tiger then it eats the cow. If something sees the cow then the cow likes the tiger.
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If something likes the tiger then it eats the cow.
((("something" "likes" "tiger" "+")) -> ("something" "eats" "cow" "+"))
If something sees the cow then the cow likes the tiger.
((("something" "sees" "cow" "+")) -> ("cow" "likes" "tiger" "+"))
The tiger sees the cow.
True
1
proof
[(triple10)]
("tiger" "sees" "cow" "+")
triple10
The cow is not rough.
False
1
inv-proof
[(triple2)]
("cow" "is" "rough" "-")
triple2
The cow likes the tiger.
True
2
proof
[(((triple10) -> rule2))]
("cow" "likes" "tiger" "+")
((triple10) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow does not like the tiger.
False
2
inv-proof
[(((triple10) -> rule2))]
("cow" "likes" "tiger" "-")
((triple10) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow eats the cow.
True
3
proof
[(((((triple10) -> rule2)) -> rule1))]
("cow" "eats" "cow" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int2
The cow does not eat the cow.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule1))]
("cow" "eats" "cow" "-")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int2
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The cow is green.[(triple1)] The cow is rough.[(triple2)] The tiger does not like the cow.[(triple9)] The tiger eats the cow.[(triple3)] The tiger is blue.[(triple4)] The tiger is green.[(triple5)] The tiger is not kind.[(triple6)] The tiger is rough.[(triple7)] The tiger is young.[(triple8)] The tiger sees the cow.[(triple10)] @1: The cow likes the tiger.[(((triple10) -> rule2))] @2: The cow eats the cow.[(((((triple10) -> rule2)) -> rule1))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
triple9
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
triple4
The tiger is green.
("tiger" "is" "green" "+")
triple5
The tiger is not kind.
("tiger" "is" "kind" "-")
triple6
The tiger is rough.
("tiger" "is" "rough" "+")
triple7
The tiger is young.
("tiger" "is" "young" "+")
triple8
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple10
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple10) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int2