The cow chases the lion. The cow eats the lion. The cow is not green. The cow does not need the lion. The lion does not chase the cow. The lion does not eat the cow. The lion is cold. If the lion is green then the lion does not need the cow. All cold things are not kind. If the cow needs the lion then the lion does not eat the cow. If something eats the cow and the cow is cold then the cow is not green. If something is cold then it is green. If something chases the cow and it is cold then the cow eats the lion.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow does not need the lion.
("cow" "needs" "lion" "-")
The lion does not chase the cow.
("lion" "chases" "cow" "-")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
The lion is cold.
("lion" "is" "cold" "+")
If the lion is green then the lion does not need the cow.
((("lion" "is" "green" "+")) -> ("lion" "needs" "cow" "-"))
All cold things are not kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "-"))
If the cow needs the lion then the lion does not eat the cow.
((("cow" "needs" "lion" "+")) -> ("lion" "eats" "cow" "-"))
If something eats the cow and the cow is cold then the cow is not green.
((("something" "eats" "cow" "+") ("cow" "is" "cold" "+")) -> ("cow" "is" "green" "-"))
If something is cold then it is green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something chases the cow and it is cold then the cow eats the lion.
((("something" "chases" "cow" "+") ("something" "is" "cold" "+")) -> ("cow" "eats" "lion" "+"))
The lion is cold.
True
1
proof
[(triple7)]
("lion" "is" "cold" "+")
triple7
The cow does not eat the lion.
False
1
inv-proof
[(triple2)]
("cow" "eats" "lion" "-")
triple2
The lion is green.
True
2
proof
[(((triple7) -> rule5))]
("lion" "is" "green" "+")
((triple7) -> (rule5 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is kind.
False
2
inv-proof
[(((triple7) -> rule2))]
("lion" "is" "kind" "+")
((triple7) -> (rule2 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion does not need the cow.
True
3
proof
[(((((triple7) -> rule5)) -> rule1))]
("lion" "needs" "cow" "-")
((((triple7) -> (rule5 % int2))) -> (rule1 % int1))
The lion does not need the cow.
("lion" "needs" "cow" "-")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion needs the cow.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule1))]
("lion" "needs" "cow" "+")
((((triple7) -> (rule5 % int2))) -> (rule1 % int1))
The lion does not need the cow.
("lion" "needs" "cow" "-")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The cow chases the lion.[(triple1)] The cow does not need the lion.[(triple4)] The cow eats the lion.[(triple2)] The cow is not green.[(triple3)] The lion does not chase the cow.[(triple5)] The lion does not eat the cow.[(triple6)] The lion is cold.[(triple7)] @1: The lion is green.[(((triple7) -> rule5))] The lion is not kind.[(((triple7) -> rule2))] @2: The lion does not need the cow.[(((((triple7) -> rule5)) -> rule1))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow does not need the lion.
("cow" "needs" "lion" "-")
triple4
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow is not green.
("cow" "is" "green" "-")
triple3
The lion does not chase the cow.
("lion" "chases" "cow" "-")
triple5
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is green.
("lion" "is" "green" "+")
((triple7) -> (rule5 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is not kind.
("lion" "is" "kind" "-")
((triple7) -> (rule2 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion does not need the cow.
("lion" "needs" "cow" "-")
((((triple7) -> (rule5 % int2))) -> (rule1 % int1))
The lion does not need the cow.
("lion" "needs" "cow" "-")
int1
The lion is green.
("lion" "is" "green" "+")
int2