The bear chases the lion. The bear is big. The bear is red. The bear is rough. The bear is young. The bear likes the lion. The bear needs the lion. The lion chases the bear. The lion is big. The lion is green. The lion is red. The lion is not rough. The lion is young. The lion likes the bear. The lion does not need the bear. If something is red and not green then it needs the lion. If the bear does not chase the lion then the bear is not rough. If something needs the lion then the lion does not need the bear. If something needs the lion then it likes the bear. If something is young and it likes the bear then it chases the bear. If something is big and it chases the bear then the bear likes the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion does not need the bear.
("lion" "needs" "bear" "-")
If something is red and not green then it needs the lion.
((("something" "is" "red" "+") ("something" "is" "green" "~")) -> ("something" "needs" "lion" "+"))
If the bear does not chase the lion then the bear is not rough.
((("bear" "chases" "lion" "~")) -> ("bear" "is" "rough" "-"))
If something needs the lion then the lion does not need the bear.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "bear" "-"))
If something needs the lion then it likes the bear.
((("something" "needs" "lion" "+")) -> ("something" "likes" "bear" "+"))
If something is young and it likes the bear then it chases the bear.
((("something" "is" "young" "+") ("something" "likes" "bear" "+")) -> ("something" "chases" "bear" "+"))
If something is big and it chases the bear then the bear likes the lion.
((("something" "is" "big" "+") ("something" "chases" "bear" "+")) -> ("bear" "likes" "lion" "+"))
The lion is not rough.
True
1
proof
[(triple12)]
("lion" "is" "rough" "-")
triple12
The bear does not like the lion.
False
1
inv-proof
[(triple6 OR ((triple9 triple8) -> rule6) OR ((triple9 ((triple13 triple14) -> rule5)) -> rule6) OR ((triple2 ((triple5 ((triple7) -> rule4)) -> rule5)) -> rule6))]
("bear" "likes" "lion" "-")
triple6
((triple9 triple8) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
((triple9 ((triple13 triple14) -> (rule5 % int2))) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
((triple2 ((triple5 ((triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The bear likes the bear.
True
2
proof
[(((triple7) -> rule4))]
("bear" "likes" "bear" "+")
((triple7) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple7) -> rule4))]
("bear" "likes" "bear" "-")
((triple7) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear chases the bear.
True
4
proof
[(((triple5 ((triple7) -> rule4)) -> rule5))]
("bear" "chases" "bear" "+")
((triple5 ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear does not chase the bear.
False
4
inv-proof
[(((triple5 ((triple7) -> rule4)) -> rule5))]
("bear" "chases" "bear" "-")
((triple5 ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear chases the lion.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear likes the lion.[(triple6 OR ((triple9 triple8) -> rule6) OR ((triple9 ((triple13 triple14) -> rule5)) -> rule6) OR ((triple2 ((triple5 ((triple7) -> rule4)) -> rule5)) -> rule6))] The bear needs the lion.[(triple7)] The lion chases the bear.[(triple8 OR ((triple13 triple14) -> rule5))] The lion does not need the bear.[(triple15 OR ((triple7) -> rule3))] The lion is big.[(triple9)] The lion is green.[(triple10)] The lion is not rough.[(triple12)] The lion is red.[(triple11)] The lion is young.[(triple13)] The lion likes the bear.[(triple14)] @1: The bear likes the bear.[(((triple7) -> rule4))] @2: The bear chases the bear.[(((triple5 ((triple7) -> rule4)) -> rule5))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the lion.
("bear" "likes" "lion" "+")
triple6
((triple9 triple8) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
((triple9 ((triple13 triple14) -> (rule5 % int2))) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
((triple2 ((triple5 ((triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The bear needs the lion.
("bear" "needs" "lion" "+")
triple7
The lion chases the bear.
("lion" "chases" "bear" "+")
triple8
((triple13 triple14) -> (rule5 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion does not need the bear.
("lion" "needs" "bear" "-")
triple15
((triple7) -> (rule3 % int1))
The lion does not need the bear.
("lion" "needs" "bear" "-")
int1
The lion is big.
("lion" "is" "big" "+")
triple9
The lion is green.
("lion" "is" "green" "+")
triple10
The lion is not rough.
("lion" "is" "rough" "-")
triple12
The lion is red.
("lion" "is" "red" "+")
triple11
The lion is young.
("lion" "is" "young" "+")
triple13
The lion likes the bear.
("lion" "likes" "bear" "+")
triple14
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple7) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple5 ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2