The cow chases the tiger. The cow is blue. The cow is cold. The cow is nice. The cow is rough. The cow is young. The cow likes the tiger. The cow visits the tiger. The tiger chases the cow. The tiger is blue. The tiger is cold. The tiger is rough. The tiger is young. The tiger likes the cow. The tiger visits the cow. If the cow is cold and the cow visits the tiger then the tiger chases the cow.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If the cow is cold and the cow visits the tiger then the tiger chases the cow.
((("cow" "is" "cold" "+") ("cow" "visits" "tiger" "+")) -> ("tiger" "chases" "cow" "+"))
The cow is cold.
True
1
proof
[(triple3)]
("cow" "is" "cold" "+")
triple3
The cow is not cold.
False
1
inv-proof
[(triple3)]
("cow" "is" "cold" "-")
triple3
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 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 is blue.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow likes the tiger.[(triple7)] The cow visits the tiger.[(triple8)] The tiger chases the cow.[(triple9 OR ((triple3 triple8) -> rule1))] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cow.[(triple14)] The tiger visits the cow.[(triple15)]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple7
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple8
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple9
((triple3 triple8) -> (rule1 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15