そのＦＲＰは辛くない
fact1: 「「群れ飛ぶしそれに上場する」ということは間違いな」ものはある fact2: もしもあの事故前能力が物珍しいとすればそのＦＲＰは測定機器だ fact3: もし「「群れ飛ぶが上場しない」ということは成り立たない」物はあるなら「あの事故前能力は測定機器だ」ということは確かである fact4: あの事故前能力は持ち帰る fact5: そのＦＲＰは行われ易くない fact6: 「群れ飛ばない」物があるとするとあの事故前能力は測定機器である fact7: 仮にとある物は測定機器であるとすると「それは看過し難くないしおまけに辛い」ということは間違っている fact8: そのＦＲＰは行われ易くないならば「それは物珍しいしさらにそれは看過し難い」ということは間違いである fact9: 仮に「「隠居するし上場しない」ということは偽な」ものはあるとしたら「そのＦＲＰは応酬する」ということは成り立つ fact10: 「「「群れ飛ぶしかつ上場しない」ということは確かである」ということは偽な」物はある fact11: 「群れ飛ぶししかも上場しない」ものはある fact12: もし「「現認するしまた中断するということはない」ということは成り立たない」物があるならそのＦＲＰは上場する fact13: 仮に「なにかは看過し難くないけれど辛い」ということは成り立たないなら「それは辛くない」ということは本当だ fact14: もしも何らかの物は測定機器でないとしたら「それは玄関ポーチだがしかし親しない」ということは誤りだ fact15: 「「測定機器でしかも辛くない」ということは間違っている」ものはある fact16: 「あの交遊は調達でないかもしくは余儀無くないかあるいはどちらもである」ということは誤りである fact17: もし仮に何かは行われ易いとすれば物珍しい fact18: もし仮に「「青臭くてまた受け皿部署でない」ということは誤っている」ものがあるとすればそのＦＲＰは連邦保安局だ fact19: 仮に「「物珍しいしさらに看過し難い」ということは誤りである」ものがあるとするとあの事故前能力は看過し難くない fact20: もしもあの事故前能力が測定機器であるとしたらそのＦＲＰは辛い fact21: もしも「あの交遊は調達だということはないかあるいはそれは余儀無くないかまたは両方だ」ということは偽なら「称えるということはない」ということは本当である fact22: 仮に「「因むけどトランスミッションでない」ということは間違っている」ものがあるならばあの特別利害関係者は信じ難い
fact10 & fact3 -> int1: 「あの事故前能力は測定機器である」ということは成り立つ; int1 & fact20 -> hypothesis;
そのＦＲＰは辛くない
fact25 -> int2: もし仮に「そのＦＲＰは看過し難くないがしかしそれは辛い」ということは事実と異なれば「辛いということはない」ということは成り立つ; fact27 -> int3: そのＦＲＰは測定機器ならば「それは看過し難くないが辛い」ということは成り立たない; fact28 -> int4: あの事故前能力は行われ易いとしたら「物珍しい」ということは本当だ; fact24 & fact26 -> int5: あの交遊は称えらない; int5 -> int6: 「「称えらない」ということは正しい」ものはある;
$facts$ = fact1: 「「群れ飛ぶしそれに上場する」ということは間違いな」ものはある fact2: もしもあの事故前能力が物珍しいとすればそのＦＲＰは測定機器だ fact3: もし「「群れ飛ぶが上場しない」ということは成り立たない」物はあるなら「あの事故前能力は測定機器だ」ということは確かである fact4: あの事故前能力は持ち帰る fact5: そのＦＲＰは行われ易くない fact6: 「群れ飛ばない」物があるとするとあの事故前能力は測定機器である fact7: 仮にとある物は測定機器であるとすると「それは看過し難くないしおまけに辛い」ということは間違っている fact8: そのＦＲＰは行われ易くないならば「それは物珍しいしさらにそれは看過し難い」ということは間違いである fact9: 仮に「「隠居するし上場しない」ということは偽な」ものはあるとしたら「そのＦＲＰは応酬する」ということは成り立つ fact10: 「「「群れ飛ぶしかつ上場しない」ということは確かである」ということは偽な」物はある fact11: 「群れ飛ぶししかも上場しない」ものはある fact12: もし「「現認するしまた中断するということはない」ということは成り立たない」物があるならそのＦＲＰは上場する fact13: 仮に「なにかは看過し難くないけれど辛い」ということは成り立たないなら「それは辛くない」ということは本当だ fact14: もしも何らかの物は測定機器でないとしたら「それは玄関ポーチだがしかし親しない」ということは誤りだ fact15: 「「測定機器でしかも辛くない」ということは間違っている」ものはある fact16: 「あの交遊は調達でないかもしくは余儀無くないかあるいはどちらもである」ということは誤りである fact17: もし仮に何かは行われ易いとすれば物珍しい fact18: もし仮に「「青臭くてまた受け皿部署でない」ということは誤っている」ものがあるとすればそのＦＲＰは連邦保安局だ fact19: 仮に「「物珍しいしさらに看過し難い」ということは誤りである」ものがあるとするとあの事故前能力は看過し難くない fact20: もしもあの事故前能力が測定機器であるとしたらそのＦＲＰは辛い fact21: もしも「あの交遊は調達だということはないかあるいはそれは余儀無くないかまたは両方だ」ということは偽なら「称えるということはない」ということは本当である fact22: 仮に「「因むけどトランスミッションでない」ということは間違っている」ものがあるならばあの特別利害関係者は信じ難い ; $hypothesis$ = そのＦＲＰは辛くない ; $proof$ = 
fact10 & fact3 -> int1: 「あの事故前能力は測定機器である」ということは成り立つ; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: 「「群れ飛ぶしそれに上場する」ということは間違いな」ものはある
事実2: もしもあの事故前能力が物珍しいとすればそのＦＲＰは測定機器だ
事実3: もし「「群れ飛ぶが上場しない」ということは成り立たない」物はあるなら「あの事故前能力は測定機器だ」ということは確かである
事実4: あの事故前能力は持ち帰る
事実5: そのＦＲＰは行われ易くない
事実6: 「群れ飛ばない」物があるとするとあの事故前能力は測定機器である
事実7: 仮にとある物は測定機器であるとすると「それは看過し難くないしおまけに辛い」ということは間違っている
事実8: そのＦＲＰは行われ易くないならば「それは物珍しいしさらにそれは看過し難い」ということは間違いである
事実9: 仮に「「隠居するし上場しない」ということは偽な」ものはあるとしたら「そのＦＲＰは応酬する」ということは成り立つ
事実10: 「「「群れ飛ぶしかつ上場しない」ということは確かである」ということは偽な」物はある
事実11: 「群れ飛ぶししかも上場しない」ものはある
事実12: もし「「現認するしまた中断するということはない」ということは成り立たない」物があるならそのＦＲＰは上場する
事実13: 仮に「なにかは看過し難くないけれど辛い」ということは成り立たないなら「それは辛くない」ということは本当だ
事実14: もしも何らかの物は測定機器でないとしたら「それは玄関ポーチだがしかし親しない」ということは誤りだ
事実15: 「「測定機器でしかも辛くない」ということは間違っている」ものはある
事実16: 「あの交遊は調達でないかもしくは余儀無くないかあるいはどちらもである」ということは誤りである
事実17: もし仮に何かは行われ易いとすれば物珍しい
事実18: もし仮に「「青臭くてまた受け皿部署でない」ということは誤っている」ものがあるとすればそのＦＲＰは連邦保安局だ
事実19: 仮に「「物珍しいしさらに看過し難い」ということは誤りである」ものがあるとするとあの事故前能力は看過し難くない
事実20: もしもあの事故前能力が測定機器であるとしたらそのＦＲＰは辛い
事実21: もしも「あの交遊は調達だということはないかあるいはそれは余儀無くないかまたは両方だ」ということは偽なら「称えるということはない」ということは本当である
事実22: 仮に「「因むけどトランスミッションでない」ということは間違っている」ものがあるならばあの特別利害関係者は信じ難い

仮説: そのＦＲＰは辛くない
1. 事実10と事実3から、推論1: "「あの事故前能力は測定機器である」ということは成り立つ"が導かれる
2. 推論1と事実20から、仮説が否定される

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