The bear does not like the squirrel. The bear visits the squirrel. The squirrel does not chase the bear. The squirrel is not big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is young. The squirrel does not like the bear. The squirrel visits the bear. If someone chases the squirrel then they like the bear. If someone likes the bear then the bear is not kind. If someone is big and they chase the squirrel then they visit the bear. If someone visits the bear then the bear chases the squirrel. If someone is kind and they do not visit the bear then the bear does not like the squirrel. If someone likes the squirrel then they are not kind.
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone chases the squirrel then they like the bear.
((("someone" "chases" "squirrel" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bear then the bear is not kind.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "kind" "-"))
If someone is big and they chase the squirrel then they visit the bear.
((("someone" "is" "big" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "visits" "bear" "+"))
If someone visits the bear then the bear chases the squirrel.
((("someone" "visits" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If someone is kind and they do not visit the bear then the bear does not like the squirrel.
((("someone" "is" "kind" "+") ("someone" "visits" "bear" "~")) -> ("bear" "likes" "squirrel" "-"))
If someone likes the squirrel then they are not kind.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "kind" "-"))
The squirrel visits the bear.
True
1
proof
[(triple10)]
("squirrel" "visits" "bear" "+")
triple10
The squirrel chases the bear.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "bear" "+")
triple3
The bear chases the squirrel.
True
2
proof
[(((triple10) -> rule4))]
("bear" "chases" "squirrel" "+")
((triple10) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear does not chase the squirrel.
False
2
inv-proof
[(((triple10) -> rule4))]
("bear" "chases" "squirrel" "-")
((triple10) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear likes the bear.
True
3
proof
[(((((triple10) -> rule4)) -> rule1))]
("bear" "likes" "bear" "+")
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear does not like the bear.
False
3
inv-proof
[(((((triple10) -> rule4)) -> rule1))]
("bear" "likes" "bear" "-")
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear is not kind.
True
4
proof
[(((((((triple10) -> rule4)) -> rule1)) -> rule2))]
("bear" "is" "kind" "-")
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear is kind.
False
4
inv-proof
[(((((((triple10) -> rule4)) -> rule1)) -> rule2))]
("bear" "is" "kind" "+")
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "bear" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
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 bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
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 big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear does not like the squirrel.[(triple1)] The bear visits the squirrel.[(triple2)] The squirrel does not chase the bear.[(triple3)] The squirrel does not like the bear.[(triple9)] The squirrel is green.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is not big.[(triple4)] The squirrel is young.[(triple8)] The squirrel visits the bear.[(triple10)] @1: The bear chases the squirrel.[(((triple10) -> rule4))] @2: The bear likes the bear.[(((((triple10) -> rule4)) -> rule1))] @3: The bear is not kind.[(((((((triple10) -> rule4)) -> rule1)) -> rule2))]
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
triple1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple2
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple3
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is not big.
("squirrel" "is" "big" "-")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple10) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear is not kind.
("bear" "is" "kind" "-")
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3