The cat eats the lion. The cat is nice. The cat is rough. The cat is round. The cat is young. The cat likes the lion. The cat needs the lion. The lion eats the cat. The lion is not rough. The lion likes the cat. If the lion likes the cat then the cat is round. If the lion needs the cat then the cat eats the lion. If someone likes the lion and they are rough then the lion does not need the cat. If the cat is young and the cat does not like the lion then the cat is nice. If someone is rough and not nice then they do not eat the lion. If someone is round and they do not need the cat then the cat needs the lion.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion likes the cat.
("lion" "likes" "cat" "+")
If the lion likes the cat then the cat is round.
((("lion" "likes" "cat" "+")) -> ("cat" "is" "round" "+"))
If the lion needs the cat then the cat eats the lion.
((("lion" "needs" "cat" "+")) -> ("cat" "eats" "lion" "+"))
If someone likes the lion and they are rough then the lion does not need the cat.
((("someone" "likes" "lion" "+") ("someone" "is" "rough" "+")) -> ("lion" "needs" "cat" "-"))
If the cat is young and the cat does not like the lion then the cat is nice.
((("cat" "is" "young" "+") ("cat" "likes" "lion" "~")) -> ("cat" "is" "nice" "+"))
If someone is rough and not nice then they do not eat the lion.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "~")) -> ("someone" "eats" "lion" "-"))
If someone is round and they do not need the cat then the cat needs the lion.
((("someone" "is" "round" "+") ("someone" "needs" "cat" "~")) -> ("cat" "needs" "lion" "+"))
The lion eats the cat.
True
1
proof
[(triple8)]
("lion" "eats" "cat" "+")
triple8
The lion is rough.
False
1
inv-proof
[(triple9)]
("lion" "is" "rough" "+")
triple9
The lion does not need the cat.
True
3
proof
[(((triple6 triple3) -> rule3))]
("lion" "needs" "cat" "-")
((triple6 triple3) -> (rule3 % int1))
The lion does not need the cat.
("lion" "needs" "cat" "-")
int1
The lion needs the cat.
False
3
inv-proof
[(((triple6 triple3) -> rule3))]
("lion" "needs" "cat" "+")
((triple6 triple3) -> (rule3 % int1))
The lion does not need the cat.
("lion" "needs" "cat" "-")
int1
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 big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
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 lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The cat eats the lion.[(triple1)] The cat is nice.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4 OR ((triple10) -> rule1))] The cat is young.[(triple5)] The cat likes the lion.[(triple6)] The cat needs the lion.[(triple7)] The lion eats the cat.[(triple8)] The lion is not rough.[(triple9)] The lion likes the cat.[(triple10)] @1: The lion does not need the cat.[(((triple6 triple3) -> rule3))]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
((triple10) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the lion.
("cat" "likes" "lion" "+")
triple6
The cat needs the lion.
("cat" "needs" "lion" "+")
triple7
The lion eats the cat.
("lion" "eats" "cat" "+")
triple8
The lion is not rough.
("lion" "is" "rough" "-")
triple9
The lion likes the cat.
("lion" "likes" "cat" "+")
triple10
The lion does not need the cat.
("lion" "needs" "cat" "-")
((triple6 triple3) -> (rule3 % int1))
The lion does not need the cat.
("lion" "needs" "cat" "-")
int1