The bear eats the lion. The bear is blue. The bear is round. The bear is young. The bear likes the lion. The lion is blue. The lion is round. If someone chases the lion then the lion is rough. If someone is blue then they chase the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is round.
("lion" "is" "round" "+")
If someone chases the lion then the lion is rough.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "rough" "+"))
If someone is blue then they chase the lion.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "lion" "+"))
The lion is blue.
True
1
proof
[(triple6)]
("lion" "is" "blue" "+")
triple6
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The bear chases the lion.
True
2
proof
[(((triple2) -> rule2))]
("bear" "chases" "lion" "+")
((triple2) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
2
inv-proof
[(((triple6) -> rule2))]
("lion" "chases" "lion" "-")
((triple6) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is rough.
True
3
proof
[(((((triple2) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))]
("lion" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is not rough.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))]
("lion" "is" "rough" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion does not like the bear.
Unknown
inv-random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
The lion does not eat the bear.
Unknown
inv-random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear likes the lion.[(triple5)] The lion is blue.[(triple6)] The lion is round.[(triple7)] @1: The bear chases the lion.[(((triple2) -> rule2))] The lion chases the lion.[(((triple6) -> rule2))] @2: The lion is rough.[(((((triple2) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the lion.
("bear" "likes" "lion" "+")
triple5
The lion is blue.
("lion" "is" "blue" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The bear chases the lion.
("bear" "chases" "lion" "+")
((triple2) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple6) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2