The bear does not chase the squirrel. The bear is cold. The bear is round. The bear needs the squirrel. The bear sees the squirrel. The squirrel chases the bear. The squirrel is cold. The squirrel is not nice. The squirrel is red. The squirrel is round. The squirrel does not need the bear. The squirrel sees the bear. If something sees the bear and it does not chase the squirrel then it is nice. If something sees the squirrel and the squirrel is cold then the squirrel is round. If something chases the squirrel then it sees the bear. If something is young then it sees the bear. If something chases the squirrel then the squirrel does not need the bear. If something chases the squirrel then it does not chase the bear. If something needs the bear and the bear does not chase the squirrel then it is round. If something needs the squirrel then it is young.
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something sees the bear and it does not chase the squirrel then it is nice.
((("something" "sees" "bear" "+") ("something" "chases" "squirrel" "~")) -> ("something" "is" "nice" "+"))
If something sees the squirrel and the squirrel is cold then the squirrel is round.
((("something" "sees" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "round" "+"))
If something chases the squirrel then it sees the bear.
((("something" "chases" "squirrel" "+")) -> ("something" "sees" "bear" "+"))
If something is young then it sees the bear.
((("something" "is" "young" "+")) -> ("something" "sees" "bear" "+"))
If something chases the squirrel then the squirrel does not need the bear.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "needs" "bear" "-"))
If something chases the squirrel then it does not chase the bear.
((("something" "chases" "squirrel" "+")) -> ("something" "chases" "bear" "-"))
If something needs the bear and the bear does not chase the squirrel then it is round.
((("something" "needs" "bear" "+") ("bear" "chases" "squirrel" "~")) -> ("something" "is" "round" "+"))
If something needs the squirrel then it is young.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "young" "+"))
The bear does not chase the squirrel.
True
1
proof
[(triple1)]
("bear" "chases" "squirrel" "-")
triple1
The squirrel is not cold.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "cold" "-")
triple7
The bear is young.
True
2
proof
[(((triple4) -> rule8))]
("bear" "is" "young" "+")
((triple4) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple4) -> rule8))]
("bear" "is" "young" "-")
((triple4) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the bear.
True
3
proof
[(((((triple4) -> rule8)) -> rule4))]
("bear" "sees" "bear" "+")
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear does not see the bear.
False
3
inv-proof
[(((((triple4) -> rule8)) -> rule4))]
("bear" "sees" "bear" "-")
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is nice.
True
5
proof
[(((((((triple4) -> rule8)) -> rule4) triple1) -> rule1))]
("bear" "is" "nice" "+")
((((((triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is not nice.
False
5
inv-proof
[(((((((triple4) -> rule8)) -> rule4) triple1) -> rule1))]
("bear" "is" "nice" "-")
((((((triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear does not chase the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The bear needs the squirrel.[(triple4)] The bear sees the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel does not need the bear.[(triple11)] The squirrel is cold.[(triple7)] The squirrel is not nice.[(triple8)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10 OR ((triple5 triple7) -> rule2))] The squirrel sees the bear.[(triple12)] @1: The bear is young.[(((triple4) -> rule8))] @2: The bear sees the bear.[(((((triple4) -> rule8)) -> rule4))] @3: The bear is nice.[(((((((triple4) -> rule8)) -> rule4) triple1) -> rule1))]
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
((triple5 triple7) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple12
The bear is young.
("bear" "is" "young" "+")
((triple4) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((((((triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3