The cow does not chase the tiger. The cow is blue. The cow is green. The cow is not kind. The cow is round. The cow does not like the tiger. The cow visits the tiger. The tiger chases the cow. The tiger is not blue. The tiger is green. The tiger is kind. The tiger is not rough. The tiger is round. The tiger likes the cow. The tiger does not visit the cow. If the tiger likes the cow then the tiger does not visit the cow. If someone chases the tiger and they are blue then the tiger likes the cow. If the cow chases the tiger and the cow is not kind then the cow visits the tiger.
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is round.
("cow" "is" "round" "+")
The cow does not like the tiger.
("cow" "likes" "tiger" "-")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
If the tiger likes the cow then the tiger does not visit the cow.
((("tiger" "likes" "cow" "+")) -> ("tiger" "visits" "cow" "-"))
If someone chases the tiger and they are blue then the tiger likes the cow.
((("someone" "chases" "tiger" "+") ("someone" "is" "blue" "+")) -> ("tiger" "likes" "cow" "+"))
If the cow chases the tiger and the cow is not kind then the cow visits the tiger.
((("cow" "chases" "tiger" "+") ("cow" "is" "kind" "~")) -> ("cow" "visits" "tiger" "+"))
The tiger chases the cow.
True
1
proof
[(triple8)]
("tiger" "chases" "cow" "+")
triple8
The cow is not blue.
False
1
inv-proof
[(triple2)]
("cow" "is" "blue" "-")
triple2
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
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 does not chase the tiger.[(triple1)] The cow does not like the tiger.[(triple6)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is not kind.[(triple4)] The cow is round.[(triple5)] The cow visits the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger does not visit the cow.[(triple15 OR ((triple14) -> rule1))] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is not blue.[(triple9)] The tiger is not rough.[(triple12)] The tiger is round.[(triple13)] The tiger likes the cow.[(triple14)]
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
triple1
The cow does not like the tiger.
("cow" "likes" "tiger" "-")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is not kind.
("cow" "is" "kind" "-")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple7
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple8
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
triple15
((triple14) -> (rule1 % int1))
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
int1
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is not blue.
("tiger" "is" "blue" "-")
triple9
The tiger is not rough.
("tiger" "is" "rough" "-")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple14