The bear chases the squirrel. The bear is big. The bear is cold. The bear is not nice. The bear is rough. The bear is young. The bear does not like the squirrel. The bear sees the squirrel. The squirrel chases the bear. The squirrel is big. The squirrel is not cold. The squirrel is nice. The squirrel is rough. The squirrel is not young. The squirrel likes the bear. The squirrel does not see the bear. If something likes the squirrel then it is rough. If something chases the bear and the bear is not rough then the bear does not see the squirrel. If something sees the squirrel then it sees the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
If something likes the squirrel then it is rough.
((("something" "likes" "squirrel" "+")) -> ("something" "is" "rough" "+"))
If something chases the bear and the bear is not rough then the bear does not see the squirrel.
((("something" "chases" "bear" "+") ("bear" "is" "rough" "~")) -> ("bear" "sees" "squirrel" "-"))
If something sees the squirrel then it sees the bear.
((("something" "sees" "squirrel" "+")) -> ("something" "sees" "bear" "+"))
The bear is rough.
True
1
proof
[(triple5)]
("bear" "is" "rough" "+")
triple5
The bear is not rough.
False
1
inv-proof
[(triple5)]
("bear" "is" "rough" "-")
triple5
The bear sees the bear.
True
2
proof
[(((triple8) -> rule3))]
("bear" "sees" "bear" "+")
((triple8) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
2
inv-proof
[(((triple8) -> rule3))]
("bear" "sees" "bear" "-")
((triple8) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
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 likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear does not like the squirrel.[(triple7)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is not nice.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear sees the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel does not see the bear.[(triple16)] The squirrel is big.[(triple10)] The squirrel is nice.[(triple12)] The squirrel is not cold.[(triple11)] The squirrel is not young.[(triple14)] The squirrel is rough.[(triple13)] The squirrel likes the bear.[(triple15)] @1: The bear sees the bear.[(((triple8) -> rule3))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
triple7
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is not nice.
("bear" "is" "nice" "-")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple8
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple9
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
triple16
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple11
The squirrel is not young.
("squirrel" "is" "young" "-")
triple14
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple15
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple8) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1