The bear does not chase the lion. The bear is blue. The bear is not green. The bear is young. The cat is blue. The cat is round. The cat likes the bear. The cat does not like the lion. The cat needs the lion. The lion does not chase the bear. The lion does not chase the cat. The lion is green. The lion is nice. The lion is young. The lion likes the bear. The lion likes the cat. If something is round and it chases the lion then the lion likes the cat. If the cat does not need the lion then the lion needs the cat. If something needs the bear then the bear chases the cat. If something is green and it does not like the bear then the bear does not like the lion. If something likes the bear then the bear does not need the cat. If something likes the cat then the cat needs the bear.
The bear does not chase the lion.
("bear" "chases" "lion" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is young.
("bear" "is" "young" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat does not like the lion.
("cat" "likes" "lion" "-")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion does not chase the bear.
("lion" "chases" "bear" "-")
The lion does not chase the cat.
("lion" "chases" "cat" "-")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
If something is round and it chases the lion then the lion likes the cat.
((("something" "is" "round" "+") ("something" "chases" "lion" "+")) -> ("lion" "likes" "cat" "+"))
If the cat does not need the lion then the lion needs the cat.
((("cat" "needs" "lion" "~")) -> ("lion" "needs" "cat" "+"))
If something needs the bear then the bear chases the cat.
((("something" "needs" "bear" "+")) -> ("bear" "chases" "cat" "+"))
If something is green and it does not like the bear then the bear does not like the lion.
((("something" "is" "green" "+") ("something" "likes" "bear" "~")) -> ("bear" "likes" "lion" "-"))
If something likes the bear then the bear does not need the cat.
((("something" "likes" "bear" "+")) -> ("bear" "needs" "cat" "-"))
If something likes the cat then the cat needs the bear.
((("something" "likes" "cat" "+")) -> ("cat" "needs" "bear" "+"))
The lion is young.
True
1
proof
[(triple14)]
("lion" "is" "young" "+")
triple14
The bear is green.
False
1
inv-proof
[(triple3)]
("bear" "is" "green" "+")
triple3
The cat needs the bear.
True
2
proof
[(((triple16) -> rule6))]
("cat" "needs" "bear" "+")
((triple16) -> (rule6 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat does not need the bear.
False
2
inv-proof
[(((triple16) -> rule6))]
("cat" "needs" "bear" "-")
((triple16) -> (rule6 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The bear chases the cat.
True
3
proof
[(((((triple16) -> rule6)) -> rule3))]
("bear" "chases" "cat" "+")
((((triple16) -> (rule6 % int2))) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear does not chase the cat.
False
3
inv-proof
[(((((triple16) -> rule6)) -> rule3))]
("bear" "chases" "cat" "-")
((((triple16) -> (rule6 % int2))) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The lion does not need the cat.
Unknown
inv-rconc
[@1: The lion needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "cat" "-")
The bear needs the lion.
Unknown
random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "+")
The bear does not like the lion.
Unknown
inv-random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
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 bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear does not chase the lion.[(triple1)] The bear is blue.[(triple2)] The bear is not green.[(triple3)] The bear is young.[(triple4)] The cat does not like the lion.[(triple8)] The cat is blue.[(triple5)] The cat is round.[(triple6)] The cat likes the bear.[(triple7)] The cat needs the lion.[(triple9)] The lion does not chase the bear.[(triple10)] The lion does not chase the cat.[(triple11)] The lion is green.[(triple12)] The lion is nice.[(triple13)] The lion is young.[(triple14)] The lion likes the bear.[(triple15)] The lion likes the cat.[(triple16)] @1: The bear does not need the cat.[(((triple15) -> rule5) OR ((triple7) -> rule5))] The cat needs the bear.[(((triple16) -> rule6))] @2: The bear chases the cat.[(((((triple16) -> rule6)) -> rule3))]
The bear does not chase the lion.
("bear" "chases" "lion" "-")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is not green.
("bear" "is" "green" "-")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The cat does not like the lion.
("cat" "likes" "lion" "-")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat likes the bear.
("cat" "likes" "bear" "+")
triple7
The cat needs the lion.
("cat" "needs" "lion" "+")
triple9
The lion does not chase the bear.
("lion" "chases" "bear" "-")
triple10
The lion does not chase the cat.
("lion" "chases" "cat" "-")
triple11
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is nice.
("lion" "is" "nice" "+")
triple13
The lion is young.
("lion" "is" "young" "+")
triple14
The lion likes the bear.
("lion" "likes" "bear" "+")
triple15
The lion likes the cat.
("lion" "likes" "cat" "+")
triple16
The bear does not need the cat.
("bear" "needs" "cat" "-")
((triple15) -> (rule5 % int1))
The bear does not need the cat.
("bear" "needs" "cat" "-")
int1
((triple7) -> (rule5 % int1))
The bear does not need the cat.
("bear" "needs" "cat" "-")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
((triple16) -> (rule6 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
((((triple16) -> (rule6 % int2))) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2