The cow eats the tiger. The cow is not cold. The cow is not kind. The cow sees the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. The tiger is red. The tiger sees the cow. If the cow does not eat the tiger then the cow is not green. If something sees the tiger and the tiger is green then it is red.
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is not cold.
("cow" "is" "cold" "-")
The cow is not kind.
("cow" "is" "kind" "-")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If the cow does not eat the tiger then the cow is not green.
((("cow" "eats" "tiger" "~")) -> ("cow" "is" "green" "-"))
If something sees the tiger and the tiger is green then it is red.
((("something" "sees" "tiger" "+") ("tiger" "is" "green" "+")) -> ("something" "is" "red" "+"))
The tiger is cold.
True
1
proof
[(triple8)]
("tiger" "is" "cold" "+")
triple8
The cow does not eat the tiger.
False
1
inv-proof
[(triple1)]
("cow" "eats" "tiger" "-")
triple1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cow eats the tiger.[(triple1)] The cow is not cold.[(triple2)] The cow is not kind.[(triple3)] The cow sees the tiger.[(triple4)] The tiger chases the cow.[(triple5)] The tiger eats the cow.[(triple6)] The tiger is blue.[(triple7)] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger is kind.[(triple10)] The tiger is red.[(triple11)] The tiger sees the cow.[(triple12)] @1: The cow is red.[(((triple4 triple9) -> rule2))]
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple1
The cow is not cold.
("cow" "is" "cold" "-")
triple2
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple4
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple5
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple6
The tiger is blue.
("tiger" "is" "blue" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple12
The cow is red.
("cow" "is" "red" "+")
((triple4 triple9) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1