The bear does not need the squirrel. The dog sees the lion. The lion sees the bear. The squirrel chases the bear. If something is green then it sees the squirrel. If something sees the bear then the bear is green. If something sees the squirrel and it does not chase the dog then the dog does not chase the squirrel. If the dog is green and the dog does not chase the bear then the dog is young. If something sees the bear and the bear sees the squirrel then the bear is blue. If something needs the squirrel and the squirrel chases the bear then it sees the lion.
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
If something is green then it sees the squirrel.
((("something" "is" "green" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the bear then the bear is green.
((("something" "sees" "bear" "+")) -> ("bear" "is" "green" "+"))
If something sees the squirrel and it does not chase the dog then the dog does not chase the squirrel.
((("something" "sees" "squirrel" "+") ("something" "chases" "dog" "~")) -> ("dog" "chases" "squirrel" "-"))
If the dog is green and the dog does not chase the bear then the dog is young.
((("dog" "is" "green" "+") ("dog" "chases" "bear" "~")) -> ("dog" "is" "young" "+"))
If something sees the bear and the bear sees the squirrel then the bear is blue.
((("something" "sees" "bear" "+") ("bear" "sees" "squirrel" "+")) -> ("bear" "is" "blue" "+"))
If something needs the squirrel and the squirrel chases the bear then it sees the lion.
((("something" "needs" "squirrel" "+") ("squirrel" "chases" "bear" "+")) -> ("something" "sees" "lion" "+"))
The lion sees the bear.
True
1
proof
[(triple3)]
("lion" "sees" "bear" "+")
triple3
The squirrel does not chase the bear.
False
1
inv-proof
[(triple4)]
("squirrel" "chases" "bear" "-")
triple4
The bear is green.
True
2
proof
[(((triple3) -> rule2))]
("bear" "is" "green" "+")
((triple3) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "is" "green" "-")
((triple3) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear sees the squirrel.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("bear" "sees" "squirrel" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not see the squirrel.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("bear" "sees" "squirrel" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The lion does not see the squirrel.
Unknown
inv-rconc
[@1: The lion sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "squirrel" "-")
The bear sees the lion.
Unknown
rconc
[@1: The bear sees the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "lion" "+")
The squirrel does not see the lion.
Unknown
inv-rconc
[@1: The squirrel sees the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "lion" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bear does not need the squirrel.[(triple1)] The dog sees the lion.[(triple2)] The lion sees the bear.[(triple3)] The squirrel chases the bear.[(triple4)] @1: The bear is green.[(((triple3) -> rule2))] @2: The bear sees the squirrel.[(((((triple3) -> rule2)) -> rule1))] @3: The bear is blue.[(((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule5))]
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
triple1
The dog sees the lion.
("dog" "sees" "lion" "+")
triple2
The lion sees the bear.
("lion" "sees" "bear" "+")
triple3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
((triple3) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((triple3 ((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3