The cow eats the lion. The cow is not green. The cow is nice. The cow is young. The cow needs the lion. The cow visits the lion. The lion eats the cow. The lion is green. The lion is rough. The lion is not young. The lion needs the cow. The lion visits the cow. If the lion visits the cow and the lion is big then the cow needs the lion. If something is green then it does not visit the lion. If something needs the lion then it eats the lion. If something is rough then it eats the lion. If something visits the cow and it does not eat the lion then it does not eat the cow. If something is big and it does not eat the lion then it is not young.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is not young.
("lion" "is" "young" "-")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If the lion visits the cow and the lion is big then the cow needs the lion.
((("lion" "visits" "cow" "+") ("lion" "is" "big" "+")) -> ("cow" "needs" "lion" "+"))
If something is green then it does not visit the lion.
((("something" "is" "green" "+")) -> ("something" "visits" "lion" "-"))
If something needs the lion then it eats the lion.
((("something" "needs" "lion" "+")) -> ("something" "eats" "lion" "+"))
If something is rough then it eats the lion.
((("something" "is" "rough" "+")) -> ("something" "eats" "lion" "+"))
If something visits the cow and it does not eat the lion then it does not eat the cow.
((("something" "visits" "cow" "+") ("something" "eats" "lion" "~")) -> ("something" "eats" "cow" "-"))
If something is big and it does not eat the lion then it is not young.
((("something" "is" "big" "+") ("something" "eats" "lion" "~")) -> ("something" "is" "young" "-"))
The lion visits the cow.
True
1
proof
[(triple12)]
("lion" "visits" "cow" "+")
triple12
The cow is green.
False
1
inv-proof
[(triple2)]
("cow" "is" "green" "+")
triple2
The lion does not visit the lion.
True
2
proof
[(((triple8) -> rule2))]
("lion" "visits" "lion" "-")
((triple8) -> (rule2 % int1))
The lion does not visit the lion.
("lion" "visits" "lion" "-")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple9) -> rule4))]
("lion" "eats" "lion" "-")
((triple9) -> (rule4 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The cow eats the lion.[(triple1 OR ((triple5) -> rule3))] The cow is nice.[(triple3)] The cow is not green.[(triple2)] The cow is young.[(triple4)] The cow needs the lion.[(triple5)] The cow visits the lion.[(triple6)] The lion eats the cow.[(triple7)] The lion is green.[(triple8)] The lion is not young.[(triple10)] The lion is rough.[(triple9)] The lion needs the cow.[(triple11)] The lion visits the cow.[(triple12)] @1: The lion does not visit the lion.[(((triple8) -> rule2))] The lion eats the lion.[(((triple9) -> rule4))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
((triple5) -> (rule3 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not green.
("cow" "is" "green" "-")
triple2
The cow is young.
("cow" "is" "young" "+")
triple4
The cow needs the lion.
("cow" "needs" "lion" "+")
triple5
The cow visits the lion.
("cow" "visits" "lion" "+")
triple6
The lion eats the cow.
("lion" "eats" "cow" "+")
triple7
The lion is green.
("lion" "is" "green" "+")
triple8
The lion is not young.
("lion" "is" "young" "-")
triple10
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion needs the cow.
("lion" "needs" "cow" "+")
triple11
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The lion does not visit the lion.
("lion" "visits" "lion" "-")
((triple8) -> (rule2 % int1))
The lion does not visit the lion.
("lion" "visits" "lion" "-")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple9) -> (rule4 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1