「この攪乱要因は続き易くておまけに安心する」ということは成り立つ
fact1: その記号列パターンは安心しないなら「この攪乱要因は続き易いしおまけに安心する」ということは間違っている fact2: 仮に「ある物は帰国出来ないしかつ惚れ直さない」ということは事実と異なるとするとそれは続き易い fact3: 仮にあるものは随喜しないけどトリコデルマだとしたら安心しない fact4: その記号列パターンは除算する fact5: もしその記号列パターンは除算するなら「それはトリコデルマだ」ということは確かである fact6: もしも「その記号列パターンは安心しないし除算するということはない」ということは正しいということはないならこのゲリラ組織は続き易くない fact7: その全領域は除算する fact8: 「その記号列パターンは除算する」ということは成り立つとすれば随喜するということはないしその上それはトリコデルマである
fact8 & fact4 -> int1: その記号列パターンは随喜しないけどトリコデルマだ; fact3 -> int2: その記号列パターンは随喜しないけどトリコデルマだとすると安心しない; int1 & int2 -> int3: その記号列パターンは安心しない; int3 & fact1 -> hypothesis;
fact8 & fact4 -> int1: (¬{AA}{a} & {AB}{a}); fact3 -> int2: (¬{AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact1 -> hypothesis;
この攪乱要因は続き易くて安心する
fact9 -> int4: 「この攪乱要因は帰国出来ないしそれは惚れ直さない」ということは成り立たないとしたら続き易い;
$facts$ = fact1: その記号列パターンは安心しないなら「この攪乱要因は続き易いしおまけに安心する」ということは間違っている fact2: 仮に「ある物は帰国出来ないしかつ惚れ直さない」ということは事実と異なるとするとそれは続き易い fact3: 仮にあるものは随喜しないけどトリコデルマだとしたら安心しない fact4: その記号列パターンは除算する fact5: もしその記号列パターンは除算するなら「それはトリコデルマだ」ということは確かである fact6: もしも「その記号列パターンは安心しないし除算するということはない」ということは正しいということはないならこのゲリラ組織は続き易くない fact7: その全領域は除算する fact8: 「その記号列パターンは除算する」ということは成り立つとすれば随喜するということはないしその上それはトリコデルマである ; $hypothesis$ = 「この攪乱要因は続き易くておまけに安心する」ということは成り立つ ; $proof$ = 
fact8 & fact4 -> int1: その記号列パターンは随喜しないけどトリコデルマだ; fact3 -> int2: その記号列パターンは随喜しないけどトリコデルマだとすると安心しない; int1 & int2 -> int3: その記号列パターンは安心しない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: その記号列パターンは安心しないなら「この攪乱要因は続き易いしおまけに安心する」ということは間違っている
事実2: 仮に「ある物は帰国出来ないしかつ惚れ直さない」ということは事実と異なるとするとそれは続き易い
事実3: 仮にあるものは随喜しないけどトリコデルマだとしたら安心しない
事実4: その記号列パターンは除算する
事実5: もしその記号列パターンは除算するなら「それはトリコデルマだ」ということは確かである
事実6: もしも「その記号列パターンは安心しないし除算するということはない」ということは正しいということはないならこのゲリラ組織は続き易くない
事実7: その全領域は除算する
事実8: 「その記号列パターンは除算する」ということは成り立つとすれば随喜するということはないしその上それはトリコデルマである

仮説: 「この攪乱要因は続き易くておまけに安心する」ということは成り立つ
1. 事実8と事実4から、推論1: "その記号列パターンは随喜しないけどトリコデルマだ"が導かれる
2. 事実3から、推論2: "その記号列パターンは随喜しないけどトリコデルマだとすると安心しない"が導かれる
3. 推論1と推論2から、推論3: "その記号列パターンは安心しない"が導かれる
4. 推論3と事実1から、仮説が否定される

よって、仮説が否定されました。