The bear eats the lion. The bear is round. The bear is young. The bear sees the lion. The bear visits the lion. The lion eats the bear. The lion sees the bear. If something sees the bear and it eats the bear then the bear is green. If something is green then it sees the bear.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If something sees the bear and it eats the bear then the bear is green.
((("something" "sees" "bear" "+") ("something" "eats" "bear" "+")) -> ("bear" "is" "green" "+"))
If something is green then it sees the bear.
((("something" "is" "green" "+")) -> ("something" "sees" "bear" "+"))
The bear sees the lion.
True
1
proof
[(triple4)]
("bear" "sees" "lion" "+")
triple4
The bear does not eat the lion.
False
1
inv-proof
[(triple1)]
("bear" "eats" "lion" "-")
triple1
The bear is green.
True
3
proof
[(((triple7 triple6) -> rule1))]
("bear" "is" "green" "+")
((triple7 triple6) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("bear" "is" "green" "-")
((triple7 triple6) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear sees the bear.
True
4
proof
[(((((triple7 triple6) -> rule1)) -> rule2))]
("bear" "sees" "bear" "+")
((((triple7 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not see the bear.
False
4
inv-proof
[(((((triple7 triple6) -> rule1)) -> rule2))]
("bear" "sees" "bear" "-")
((((triple7 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bear eats the lion.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear sees the lion.[(triple4)] The bear visits the lion.[(triple5)] The lion eats the bear.[(triple6)] The lion sees the bear.[(triple7)] @1: The bear is green.[(((triple7 triple6) -> rule1))] @2: The bear sees the bear.[(((((triple7 triple6) -> rule1)) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear sees the lion.
("bear" "sees" "lion" "+")
triple4
The bear visits the lion.
("bear" "visits" "lion" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion sees the bear.
("lion" "sees" "bear" "+")
triple7
The bear is green.
("bear" "is" "green" "+")
((triple7 triple6) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((((triple7 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2