The cow chases the tiger. The cow is big. The cow is kind. The cow is nice. The cow is red. The cow is young. The cow likes the tiger. The cow sees the tiger. The tiger does not chase the cow. The tiger is big. The tiger is kind. The tiger is nice. The tiger is young. The tiger likes the cow. The tiger sees the cow. If something chases the tiger and it does not see the cow then the cow is not red. If something is big then it likes the tiger. If something sees the tiger and it chases the cow then the cow chases the tiger.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If something chases the tiger and it does not see the cow then the cow is not red.
((("something" "chases" "tiger" "+") ("something" "sees" "cow" "~")) -> ("cow" "is" "red" "-"))
If something is big then it likes the tiger.
((("something" "is" "big" "+")) -> ("something" "likes" "tiger" "+"))
If something sees the tiger and it chases the cow then the cow chases the tiger.
((("something" "sees" "tiger" "+") ("something" "chases" "cow" "+")) -> ("cow" "chases" "tiger" "+"))
The tiger likes the cow.
True
1
proof
[(triple14)]
("tiger" "likes" "cow" "+")
triple14
The cow is not red.
False
1
inv-proof
[(triple5)]
("cow" "is" "red" "-")
triple5
The tiger likes the tiger.
True
2
proof
[(((triple10) -> rule2))]
("tiger" "likes" "tiger" "+")
((triple10) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger does not like the tiger.
False
2
inv-proof
[(((triple10) -> rule2))]
("tiger" "likes" "tiger" "-")
((triple10) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
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 cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow chases the tiger.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The cow likes the tiger.[(triple7 OR ((triple2) -> rule2))] The cow sees the tiger.[(triple8)] The tiger does not chase the cow.[(triple9)] The tiger is big.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cow.[(triple14)] The tiger sees the cow.[(triple15)] @1: The tiger likes the tiger.[(((triple10) -> rule2))]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple7
((triple2) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple8
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple14
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple15
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple10) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1