The cow chases the lion. The cow eats the lion. The cow is big. The cow sees the lion. The lion eats the cow. The lion is green. The lion sees the cow. If someone sees the lion and the lion sees the cow then the cow sees the lion. If someone eats the cow and they are green then the cow is nice.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is green.
("lion" "is" "green" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If someone sees the lion and the lion sees the cow then the cow sees the lion.
((("someone" "sees" "lion" "+") ("lion" "sees" "cow" "+")) -> ("cow" "sees" "lion" "+"))
If someone eats the cow and they are green then the cow is nice.
((("someone" "eats" "cow" "+") ("someone" "is" "green" "+")) -> ("cow" "is" "nice" "+"))
The cow sees the lion.
True
1
proof
[(triple4)]
("cow" "sees" "lion" "+")
triple4
The cow does not chase the lion.
False
1
inv-proof
[(triple1)]
("cow" "chases" "lion" "-")
triple1
The cow is nice.
True
3
proof
[(((triple5 triple6) -> rule2))]
("cow" "is" "nice" "+")
((triple5 triple6) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("cow" "is" "nice" "-")
((triple5 triple6) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is big.[(triple3)] The cow sees the lion.[(triple4)] The lion eats the cow.[(triple5)] The lion is green.[(triple6)] The lion sees the cow.[(triple7)] @1: The cow is nice.[(((triple5 triple6) -> rule2))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow sees the lion.
("cow" "sees" "lion" "+")
triple4
The lion eats the cow.
("lion" "eats" "cow" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The lion sees the cow.
("lion" "sees" "cow" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
((triple5 triple6) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1