「「この桃は調査するけれど小賢しいということはない」ということは事実と異なる」ということは確かだ
fact1: もしもこの付きっ切りは小賢しくないとしたら「この桃は調査する一方で小賢しくない」ということは真実でない fact2: 「もしも「門扉である」ものはあるとしたら「その対面的遣り取りは思い遣れないかあるいは依拠しないかもしくは両方ともだ」ということは偽だ」ということは事実だ fact3: 通じ難いものは依拠する fact4: 仮にあのテレビタイムが両陛下でないとしたらこの付きっ切りは通じ難い fact5: もし仮に何らかのものは依拠するとしたら「思い遣れる」ということは真実だ fact6: その対面的遣り取りは思い遣れる fact7: その対面的遣り取りは門扉であるとしたら「この桃は調査するけど小賢しくない」ということは事実と異ならない fact8: 「門扉である」ものはある fact9: もし「その対面的遣り取りは思い遣れないかそれは依拠しない」ということは間違いだとすれば「この付きっ切りは小賢しいということはない」ということは成り立つ fact10: もしこの付きっ切りが通じ難いとするとその対面的遣り取りは通じ難い fact11: もし「「「門扉だ」ということは本当である」ものはある」ということは本当だとするとその対面的遣り取りは思い遣れる
fact8 & fact2 -> int1: 「その対面的遣り取りは思い遣れないかそれは依拠しない」ということは成り立たない; int1 & fact9 -> int2: この付きっ切りは小賢しくない; int2 & fact1 -> hypothesis;
fact8 & fact2 -> int1: ¬(¬{B}{a} v ¬{C}{a}); int1 & fact9 -> int2: ¬{D}{b}; int2 & fact1 -> hypothesis;
この桃は調査するがしかし小賢しくない
fact14 -> int3: 仮に「その対面的遣り取りは依拠する」ということは成り立つなら「それは思い遣れる」ということは事実である; fact15 -> int4: もしもその対面的遣り取りが通じ難いならばそれは依拠する;
$facts$ = fact1: もしもこの付きっ切りは小賢しくないとしたら「この桃は調査する一方で小賢しくない」ということは真実でない fact2: 「もしも「門扉である」ものはあるとしたら「その対面的遣り取りは思い遣れないかあるいは依拠しないかもしくは両方ともだ」ということは偽だ」ということは事実だ fact3: 通じ難いものは依拠する fact4: 仮にあのテレビタイムが両陛下でないとしたらこの付きっ切りは通じ難い fact5: もし仮に何らかのものは依拠するとしたら「思い遣れる」ということは真実だ fact6: その対面的遣り取りは思い遣れる fact7: その対面的遣り取りは門扉であるとしたら「この桃は調査するけど小賢しくない」ということは事実と異ならない fact8: 「門扉である」ものはある fact9: もし「その対面的遣り取りは思い遣れないかそれは依拠しない」ということは間違いだとすれば「この付きっ切りは小賢しいということはない」ということは成り立つ fact10: もしこの付きっ切りが通じ難いとするとその対面的遣り取りは通じ難い fact11: もし「「「門扉だ」ということは本当である」ものはある」ということは本当だとするとその対面的遣り取りは思い遣れる ; $hypothesis$ = 「「この桃は調査するけれど小賢しいということはない」ということは事実と異なる」ということは確かだ ; $proof$ = 
fact8 & fact2 -> int1: 「その対面的遣り取りは思い遣れないかそれは依拠しない」ということは成り立たない; int1 & fact9 -> int2: この付きっ切りは小賢しくない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしもこの付きっ切りは小賢しくないとしたら「この桃は調査する一方で小賢しくない」ということは真実でない
事実2: 「もしも「門扉である」ものはあるとしたら「その対面的遣り取りは思い遣れないかあるいは依拠しないかもしくは両方ともだ」ということは偽だ」ということは事実だ
事実3: 通じ難いものは依拠する
事実4: 仮にあのテレビタイムが両陛下でないとしたらこの付きっ切りは通じ難い
事実5: もし仮に何らかのものは依拠するとしたら「思い遣れる」ということは真実だ
事実6: その対面的遣り取りは思い遣れる
事実7: その対面的遣り取りは門扉であるとしたら「この桃は調査するけど小賢しくない」ということは事実と異ならない
事実8: 「門扉である」ものはある
事実9: もし「その対面的遣り取りは思い遣れないかそれは依拠しない」ということは間違いだとすれば「この付きっ切りは小賢しいということはない」ということは成り立つ
事実10: もしこの付きっ切りが通じ難いとするとその対面的遣り取りは通じ難い
事実11: もし「「「門扉だ」ということは本当である」ものはある」ということは本当だとするとその対面的遣り取りは思い遣れる

仮説: 「「この桃は調査するけれど小賢しいということはない」ということは事実と異なる」ということは確かだ
1. 事実8と事実2から、推論1: "「その対面的遣り取りは思い遣れないかそれは依拠しない」ということは成り立たない"が導かれる
2. 推論1と事実9から、推論2: "この付きっ切りは小賢しくない"が導かれる
3. 推論2と事実1から、仮説が導かれる

よって、仮説が証明されました。