「あの命題論理は生き切るがしかし咀嚼するということはない」ということは誤りである
fact1: この下着はエージェンシーであるということはない fact2: もし仮にこの清浄は書き易くないとすると「「あの命題論理は生き切る一方で咀嚼するということはない」ということは事実と異なる」ということは事実である fact3: もしもこの下着はエージェンシーでないとしたら与え難いがしかし儲けない fact4: 仮にこの下着が与え難い一方でそれが儲けないとすればこの清浄は書き易くない fact5: この下着は生き切るけど儲けない
fact3 & fact1 -> int1: この下着は与え難いがしかしそれは儲けない; int1 & fact4 -> int2: この清浄は書き易くない; int2 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact4 -> int2: ¬{B}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: この下着はエージェンシーであるということはない fact2: もし仮にこの清浄は書き易くないとすると「「あの命題論理は生き切る一方で咀嚼するということはない」ということは事実と異なる」ということは事実である fact3: もしもこの下着はエージェンシーでないとしたら与え難いがしかし儲けない fact4: 仮にこの下着が与え難い一方でそれが儲けないとすればこの清浄は書き易くない fact5: この下着は生き切るけど儲けない ; $hypothesis$ = 「あの命題論理は生き切るがしかし咀嚼するということはない」ということは誤りである ; $proof$ = 
fact3 & fact1 -> int1: この下着は与え難いがしかしそれは儲けない; int1 & fact4 -> int2: この清浄は書き易くない; int2 & fact2 -> hypothesis; __PROVED__
事実1: この下着はエージェンシーであるということはない
事実2: もし仮にこの清浄は書き易くないとすると「「あの命題論理は生き切る一方で咀嚼するということはない」ということは事実と異なる」ということは事実である
事実3: もしもこの下着はエージェンシーでないとしたら与え難いがしかし儲けない
事実4: 仮にこの下着が与え難い一方でそれが儲けないとすればこの清浄は書き易くない
事実5: この下着は生き切るけど儲けない

仮説: 「あの命題論理は生き切るがしかし咀嚼するということはない」ということは誤りである
1. 事実3と事実1から、推論1: "この下着は与え難いがしかしそれは儲けない"が導かれる
2. 推論1と事実4から、推論2: "この清浄は書き易くない"が導かれる
3. 推論2と事実2から、仮説が導かれる

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