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