The bear chases the lion. The bear is green. The bear is not young. The bear likes the lion. The bear visits the lion. The lion is green. The lion is kind. If someone chases the bear and they do not visit the bear then they do not like the lion. If someone is green then they like the bear. If someone likes the bear then they are nice. If someone likes the lion then they are green. If the lion is kind and the lion is nice then the lion is young. If someone likes the bear and the bear chases the lion then the bear visits the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
If someone chases the bear and they do not visit the bear then they do not like the lion.
((("someone" "chases" "bear" "+") ("someone" "visits" "bear" "~")) -> ("someone" "likes" "lion" "-"))
If someone is green then they like the bear.
((("someone" "is" "green" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bear then they are nice.
((("someone" "likes" "bear" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the lion then they are green.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "green" "+"))
If the lion is kind and the lion is nice then the lion is young.
((("lion" "is" "kind" "+") ("lion" "is" "nice" "+")) -> ("lion" "is" "young" "+"))
If someone likes the bear and the bear chases the lion then the bear visits the lion.
((("someone" "likes" "bear" "+") ("bear" "chases" "lion" "+")) -> ("bear" "visits" "lion" "+"))
The lion is kind.
True
1
proof
[(triple7)]
("lion" "is" "kind" "+")
triple7
The bear is not green.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule4))]
("bear" "is" "green" "-")
triple2
((triple4) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The lion likes the bear.
True
2
proof
[(((triple6) -> rule2))]
("lion" "likes" "bear" "+")
((triple6) -> (rule2 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple2) -> rule2) OR ((((triple4) -> rule4)) -> rule2))]
("bear" "likes" "bear" "-")
((triple2) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The lion is nice.
True
3
proof
[(((((triple6) -> rule2)) -> rule3))]
("lion" "is" "nice" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The bear is not nice.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3) OR ((((((triple4) -> rule4)) -> rule2)) -> rule3))]
("bear" "is" "nice" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The lion is young.
True
5
proof
[(((triple7 ((((triple6) -> rule2)) -> rule3)) -> rule5))]
("lion" "is" "young" "+")
((triple7 ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion is not young.
False
5
inv-proof
[(((triple7 ((((triple6) -> rule2)) -> rule3)) -> rule5))]
("lion" "is" "young" "-")
((triple7 ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion does not chase the bear.
Unknown
inv-random
[@0: The lion chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bear chases the lion.[(triple1)] The bear is green.[(triple2 OR ((triple4) -> rule4))] The bear is not young.[(triple3)] The bear likes the lion.[(triple4)] The bear visits the lion.[(triple5 OR ((((triple2) -> rule2) triple1) -> rule6) OR ((((triple6) -> rule2) triple1) -> rule6) OR ((((((triple4) -> rule4)) -> rule2) triple1) -> rule6))] The lion is green.[(triple6)] The lion is kind.[(triple7)] @1: The bear likes the bear.[(((triple2) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] The lion likes the bear.[(((triple6) -> rule2))] @2: The bear is nice.[(((((triple2) -> rule2)) -> rule3) OR ((((((triple4) -> rule4)) -> rule2)) -> rule3))] The lion is nice.[(((((triple6) -> rule2)) -> rule3))] @3: The lion is young.[(((triple7 ((((triple6) -> rule2)) -> rule3)) -> rule5))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
((triple4) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not young.
("bear" "is" "young" "-")
triple3
The bear likes the lion.
("bear" "likes" "lion" "+")
triple4
The bear visits the lion.
("bear" "visits" "lion" "+")
triple5
((((triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
((((triple6) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The lion is green.
("lion" "is" "green" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
((triple6) -> (rule2 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion is young.
("lion" "is" "young" "+")
((triple7 ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3