The cow chases the tiger. The cow is not blue. The cow is kind. The cow is not round. The cow is young. The cow likes the tiger. The cow sees the tiger. The tiger is blue. The tiger likes the cow. The tiger sees the cow. If someone chases the cow and they chase the tiger then the cow chases the tiger. If someone is blue and round then they do not like the cow. If the cow is rough then the cow does not like the tiger. If the cow sees the tiger then the tiger is young. If someone chases the tiger and they see the cow then the tiger is young. If someone sees the tiger and the tiger is round then the tiger sees the cow.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is not blue.
("cow" "is" "blue" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not round.
("cow" "is" "round" "-")
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 is blue.
("tiger" "is" "blue" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If someone chases the cow and they chase the tiger then the cow chases the tiger.
((("someone" "chases" "cow" "+") ("someone" "chases" "tiger" "+")) -> ("cow" "chases" "tiger" "+"))
If someone is blue and round then they do not like the cow.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "cow" "-"))
If the cow is rough then the cow does not like the tiger.
((("cow" "is" "rough" "+")) -> ("cow" "likes" "tiger" "-"))
If the cow sees the tiger then the tiger is young.
((("cow" "sees" "tiger" "+")) -> ("tiger" "is" "young" "+"))
If someone chases the tiger and they see the cow then the tiger is young.
((("someone" "chases" "tiger" "+") ("someone" "sees" "cow" "+")) -> ("tiger" "is" "young" "+"))
If someone sees the tiger and the tiger is round then the tiger sees the cow.
((("someone" "sees" "tiger" "+") ("tiger" "is" "round" "+")) -> ("tiger" "sees" "cow" "+"))
The cow chases the tiger.
True
1
proof
[(triple1)]
("cow" "chases" "tiger" "+")
triple1
The cow is round.
False
1
inv-proof
[(triple4)]
("cow" "is" "round" "+")
triple4
The tiger is young.
True
2
proof
[(((triple7) -> rule4))]
("tiger" "is" "young" "+")
((triple7) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
2
inv-proof
[(((triple7) -> rule4))]
("tiger" "is" "young" "-")
((triple7) -> (rule4 % 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 chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow chases the tiger.[(triple1)] The cow is kind.[(triple3)] The cow is not blue.[(triple2)] The cow is not round.[(triple4)] The cow is young.[(triple5)] The cow likes the tiger.[(triple6)] The cow sees the tiger.[(triple7)] The tiger is blue.[(triple8)] The tiger likes the cow.[(triple9)] The tiger sees the cow.[(triple10)] @1: The tiger is young.[(((triple7) -> rule4))]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is not blue.
("cow" "is" "blue" "-")
triple2
The cow is not round.
("cow" "is" "round" "-")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple6
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple9
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
((triple7) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1