The bear eats the lion. The bear is big. The bear is rough. The bear visits the lion. The lion chases the bear. The lion is red. The lion is round. If something chases the lion and it is not rough then it is not red. If something is kind and it visits the lion then it is round. If something visits the bear and the bear is rough then the bear is not round. If the lion is red then the lion visits the bear. If something is round and it does not chase the lion then the lion chases the bear. If something visits the bear and the bear visits the lion then it does not eat the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
If something chases the lion and it is not rough then it is not red.
((("something" "chases" "lion" "+") ("something" "is" "rough" "~")) -> ("something" "is" "red" "-"))
If something is kind and it visits the lion then it is round.
((("something" "is" "kind" "+") ("something" "visits" "lion" "+")) -> ("something" "is" "round" "+"))
If something visits the bear and the bear is rough then the bear is not round.
((("something" "visits" "bear" "+") ("bear" "is" "rough" "+")) -> ("bear" "is" "round" "-"))
If the lion is red then the lion visits the bear.
((("lion" "is" "red" "+")) -> ("lion" "visits" "bear" "+"))
If something is round and it does not chase the lion then the lion chases the bear.
((("something" "is" "round" "+") ("something" "chases" "lion" "~")) -> ("lion" "chases" "bear" "+"))
If something visits the bear and the bear visits the lion then it does not eat the lion.
((("something" "visits" "bear" "+") ("bear" "visits" "lion" "+")) -> ("something" "eats" "lion" "-"))
The bear is rough.
True
1
proof
[(triple3)]
("bear" "is" "rough" "+")
triple3
The bear does not eat the lion.
False
1
inv-proof
[(triple1)]
("bear" "eats" "lion" "-")
triple1
The lion visits the bear.
True
2
proof
[(((triple6) -> rule4))]
("lion" "visits" "bear" "+")
((triple6) -> (rule4 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The lion does not visit the bear.
False
2
inv-proof
[(((triple6) -> rule4))]
("lion" "visits" "bear" "-")
((triple6) -> (rule4 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The lion does not eat the lion.
True
4
proof
[(((((triple6) -> rule4) triple4) -> rule6))]
("lion" "eats" "lion" "-")
((((triple6) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The lion does not eat the lion.
("lion" "eats" "lion" "-")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The bear is round.
False
4
inv-proof
[(((((triple6) -> rule4) triple3) -> rule3))]
("bear" "is" "round" "+")
((((triple6) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
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 eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
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 big.[(triple2)] The bear is rough.[(triple3)] The bear visits the lion.[(triple4)] The lion chases the bear.[(triple5)] The lion is red.[(triple6)] The lion is round.[(triple7)] @1: The lion visits the bear.[(((triple6) -> rule4))] @2: The bear is not round.[(((((triple6) -> rule4) triple3) -> rule3))] The lion does not eat the lion.[(((((triple6) -> rule4) triple4) -> rule6))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The lion chases the bear.
("lion" "chases" "bear" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion visits the bear.
("lion" "visits" "bear" "+")
((triple6) -> (rule4 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The bear is not round.
("bear" "is" "round" "-")
((((triple6) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The lion does not eat the lion.
("lion" "eats" "lion" "-")
((((triple6) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The lion does not eat the lion.
("lion" "eats" "lion" "-")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2