The bear is blue. The bear is rough. The bear sees the lion. The bear visits the lion. The lion is big. The lion is red. The lion is round. The lion needs the bear. The lion sees the bear. The lion does not visit the bear. Blue things are round. Round things are red. If the lion is not big and the lion is not round then the lion needs the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion does not visit the bear.
("lion" "visits" "bear" "-")
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If the lion is not big and the lion is not round then the lion needs the bear.
((("lion" "is" "big" "~") ("lion" "is" "round" "~")) -> ("lion" "needs" "bear" "+"))
The lion does not visit the bear.
True
1
proof
[(triple10)]
("lion" "visits" "bear" "-")
triple10
The bear is not rough.
False
1
inv-proof
[(triple2)]
("bear" "is" "rough" "-")
triple2
The bear is round.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "round" "-")
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is red.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("bear" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is not red.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("bear" "is" "red" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The bear needs the lion.
Unknown
random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "+")
@0: The bear is blue.[(triple1)] The bear is rough.[(triple2)] The bear sees the lion.[(triple3)] The bear visits the lion.[(triple4)] The lion does not visit the bear.[(triple10)] The lion is big.[(triple5)] The lion is red.[(triple6 OR ((triple7) -> rule2))] The lion is round.[(triple7)] The lion needs the bear.[(triple8)] The lion sees the bear.[(triple9)] @1: The bear is round.[(((triple1) -> rule1))] @2: The bear is red.[(((((triple1) -> rule1)) -> rule2))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear sees the lion.
("bear" "sees" "lion" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The lion does not visit the bear.
("lion" "visits" "bear" "-")
triple10
The lion is big.
("lion" "is" "big" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
((triple7) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is round.
("lion" "is" "round" "+")
triple7
The lion needs the bear.
("lion" "needs" "bear" "+")
triple8
The lion sees the bear.
("lion" "sees" "bear" "+")
triple9
The bear is round.
("bear" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2