The cow chases the lion. The cow eats the lion. The cow is blue. The cow is cold. The cow is green. The cow is kind. The cow is red. The cow needs the lion. The lion chases the cow. The lion eats the cow. The lion is blue. The lion is green. The lion is kind. The lion is red. The lion needs the cow. If something chases the lion and it is kind then it does not chase the cow. If something chases the cow and it does not eat the lion then it is kind.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If something chases the lion and it is kind then it does not chase the cow.
((("something" "chases" "lion" "+") ("something" "is" "kind" "+")) -> ("something" "chases" "cow" "-"))
If something chases the cow and it does not eat the lion then it is kind.
((("something" "chases" "cow" "+") ("something" "eats" "lion" "~")) -> ("something" "is" "kind" "+"))
The lion is red.
True
1
proof
[(triple14)]
("lion" "is" "red" "+")
triple14
The cow is not blue.
False
1
inv-proof
[(triple3)]
("cow" "is" "blue" "-")
triple3
The cow does not chase the cow.
True
3
proof
[(((triple1 triple6) -> rule1))]
("cow" "chases" "cow" "-")
((triple1 triple6) -> (rule1 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1
The cow chases the cow.
False
3
inv-proof
[(((triple1 triple6) -> rule1))]
("cow" "chases" "cow" "+")
((triple1 triple6) -> (rule1 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
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 is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow is kind.[(triple6)] The cow is red.[(triple7)] The cow needs the lion.[(triple8)] The lion chases the cow.[(triple9)] The lion eats the cow.[(triple10)] The lion is blue.[(triple11)] The lion is green.[(triple12)] The lion is kind.[(triple13)] The lion is red.[(triple14)] The lion needs the cow.[(triple15)] @1: The cow does not chase the cow.[(((triple1 triple6) -> rule1))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The cow needs the lion.
("cow" "needs" "lion" "+")
triple8
The lion chases the cow.
("lion" "chases" "cow" "+")
triple9
The lion eats the cow.
("lion" "eats" "cow" "+")
triple10
The lion is blue.
("lion" "is" "blue" "+")
triple11
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is kind.
("lion" "is" "kind" "+")
triple13
The lion is red.
("lion" "is" "red" "+")
triple14
The lion needs the cow.
("lion" "needs" "cow" "+")
triple15
The cow does not chase the cow.
("cow" "chases" "cow" "-")
((triple1 triple6) -> (rule1 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1