The cow eats the lion. The cow is not rough. The cow needs the lion. The cow needs the rabbit. The lion does not eat the rabbit. The rabbit likes the cow. The rabbit likes the lion. If someone likes the lion then the lion needs the cow.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
If someone likes the lion then the lion needs the cow.
((("someone" "likes" "lion" "+")) -> ("lion" "needs" "cow" "+"))
The lion does not eat the rabbit.
True
1
proof
[(triple5)]
("lion" "eats" "rabbit" "-")
triple5
The cow does not need the rabbit.
False
1
inv-proof
[(triple4)]
("cow" "needs" "rabbit" "-")
triple4
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The cow eats the lion.[(triple1)] The cow is not rough.[(triple2)] The cow needs the lion.[(triple3)] The cow needs the rabbit.[(triple4)] The lion does not eat the rabbit.[(triple5)] The rabbit likes the cow.[(triple6)] The rabbit likes the lion.[(triple7)] @1: The lion needs the cow.[(((triple7) -> rule1))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow is not rough.
("cow" "is" "rough" "-")
triple2
The cow needs the lion.
("cow" "needs" "lion" "+")
triple3
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple4
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple5
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple6
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple7
The lion needs the cow.
("lion" "needs" "cow" "+")
((triple7) -> (rule1 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1