あのＦＦＰは地方空港でないし軽しない
fact1: もしもこのクラスビューは走り易くないとすれば「あの親日は指導すらないが戒である」ということは誤っている fact2: もしもなにがしかのものは憎たらしくないとすると「地方空港でなくておまけにそれは軽しということはない」ということは誤りである fact3: もし仮にこの鉄人が停学ならこの流動食は飲用でない fact4: 「あのＦＦＰは憎たらしいということはない」ということは成り立つとしたらその発芽は憎たらしくないしさらに地方空港でない fact5: もし仮に何らかの物は飲用でないとすると「「その発芽は日本らしくない一方で第八詩節だ」ということは嘘である」ということは成り立つ fact6: もしなにがしかの物は実行し易いとすれば「慎まなくて加えて出芽しない」ということは正しくない fact7: もしも「なにかは酒パックでないけれどトリムする」ということは確かでないとすればそれは実行し易い fact8: この活動領域はトリムしない fact9: 仮にその発芽は地方空港であるとすればそれは憎たらしい fact10: その発芽が地方空港でないとすればあのＦＦＰは地方空港でない fact11: 仮に「トリムしない」物はあるとしたら「「このクラスビューは酒パックでないがそれはトリムする」ということは正しい」ということは本当でない fact12: その発芽は憎たらしくない fact13: 仮にその発芽は指導すとすると「それは停学でないしさらにそれは飲用でない」ということは本当だ fact14: もし「あの親日は指導すらないけれど戒である」ということは成り立たないとするとこの鉄人は停学である fact15: もしも「なにがしかのものは慎まなくておまけにそれは出芽しない」ということは成り立たないとすればそれは走り易いということはない fact16: あの家畜用は地方空港であるということはない fact17: あのＦＦＰは地方空港でない fact18: もし仮に「その発芽は地方空港であるということはない」ということは成り立つとしたらあのＦＦＰは地方空港でないしその上軽しない fact19: 「その発芽は指導す」ということは確かである fact20: なにかは飲用でないとすればそれは第八詩節であるしまた日本らしい fact21: 仮にその発芽が日本らしいならばその各テナントは憎たらしいということはない
void -> assump1: 以下のように仮定する。その発芽は地方空港だ; fact9 & assump1 -> int1: その発芽は憎たらしい; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: その発芽は地方空港でない; int3 & fact18 -> hypothesis;
その各テナントは軽しない
fact22 -> int4: もし仮にその発芽が飲用でないとするとそれは第八詩節であるしそれにそれは日本らしい; fact24 & fact23 -> int5: その発芽は停学でないし更に飲用でない; int5 -> int6: その発芽は飲用でない; int4 & int6 -> int7: その発芽は第八詩節で日本らしい; int7 -> int8: その発芽は日本らしい; fact25 & int8 -> int9: その各テナントは憎たらしくない;
$facts$ = fact1: もしもこのクラスビューは走り易くないとすれば「あの親日は指導すらないが戒である」ということは誤っている fact2: もしもなにがしかのものは憎たらしくないとすると「地方空港でなくておまけにそれは軽しということはない」ということは誤りである fact3: もし仮にこの鉄人が停学ならこの流動食は飲用でない fact4: 「あのＦＦＰは憎たらしいということはない」ということは成り立つとしたらその発芽は憎たらしくないしさらに地方空港でない fact5: もし仮に何らかの物は飲用でないとすると「「その発芽は日本らしくない一方で第八詩節だ」ということは嘘である」ということは成り立つ fact6: もしなにがしかの物は実行し易いとすれば「慎まなくて加えて出芽しない」ということは正しくない fact7: もしも「なにかは酒パックでないけれどトリムする」ということは確かでないとすればそれは実行し易い fact8: この活動領域はトリムしない fact9: 仮にその発芽は地方空港であるとすればそれは憎たらしい fact10: その発芽が地方空港でないとすればあのＦＦＰは地方空港でない fact11: 仮に「トリムしない」物はあるとしたら「「このクラスビューは酒パックでないがそれはトリムする」ということは正しい」ということは本当でない fact12: その発芽は憎たらしくない fact13: 仮にその発芽は指導すとすると「それは停学でないしさらにそれは飲用でない」ということは本当だ fact14: もし「あの親日は指導すらないけれど戒である」ということは成り立たないとするとこの鉄人は停学である fact15: もしも「なにがしかのものは慎まなくておまけにそれは出芽しない」ということは成り立たないとすればそれは走り易いということはない fact16: あの家畜用は地方空港であるということはない fact17: あのＦＦＰは地方空港でない fact18: もし仮に「その発芽は地方空港であるということはない」ということは成り立つとしたらあのＦＦＰは地方空港でないしその上軽しない fact19: 「その発芽は指導す」ということは確かである fact20: なにかは飲用でないとすればそれは第八詩節であるしまた日本らしい fact21: 仮にその発芽が日本らしいならばその各テナントは憎たらしいということはない ; $hypothesis$ = あのＦＦＰは地方空港でないし軽しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その発芽は地方空港だ; fact9 & assump1 -> int1: その発芽は憎たらしい; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: その発芽は地方空港でない; int3 & fact18 -> hypothesis; __PROVED__
事実1: もしもこのクラスビューは走り易くないとすれば「あの親日は指導すらないが戒である」ということは誤っている
事実2: もしもなにがしかのものは憎たらしくないとすると「地方空港でなくておまけにそれは軽しということはない」ということは誤りである
事実3: もし仮にこの鉄人が停学ならこの流動食は飲用でない
事実4: 「あのＦＦＰは憎たらしいということはない」ということは成り立つとしたらその発芽は憎たらしくないしさらに地方空港でない
事実5: もし仮に何らかの物は飲用でないとすると「「その発芽は日本らしくない一方で第八詩節だ」ということは嘘である」ということは成り立つ
事実6: もしなにがしかの物は実行し易いとすれば「慎まなくて加えて出芽しない」ということは正しくない
事実7: もしも「なにかは酒パックでないけれどトリムする」ということは確かでないとすればそれは実行し易い
事実8: この活動領域はトリムしない
事実9: 仮にその発芽は地方空港であるとすればそれは憎たらしい
事実10: その発芽が地方空港でないとすればあのＦＦＰは地方空港でない
事実11: 仮に「トリムしない」物はあるとしたら「「このクラスビューは酒パックでないがそれはトリムする」ということは正しい」ということは本当でない
事実12: その発芽は憎たらしくない
事実13: 仮にその発芽は指導すとすると「それは停学でないしさらにそれは飲用でない」ということは本当だ
事実14: もし「あの親日は指導すらないけれど戒である」ということは成り立たないとするとこの鉄人は停学である
事実15: もしも「なにがしかのものは慎まなくておまけにそれは出芽しない」ということは成り立たないとすればそれは走り易いということはない
事実16: あの家畜用は地方空港であるということはない
事実17: あのＦＦＰは地方空港でない
事実18: もし仮に「その発芽は地方空港であるということはない」ということは成り立つとしたらあのＦＦＰは地方空港でないしその上軽しない
事実19: 「その発芽は指導す」ということは確かである
事実20: なにかは飲用でないとすればそれは第八詩節であるしまた日本らしい
事実21: 仮にその発芽が日本らしいならばその各テナントは憎たらしいということはない

仮説: あのＦＦＰは地方空港でないし軽しない
1. 仮定1: 以下のように仮定する。その発芽は地方空港だ
2. 事実9と仮定1から、推論1: "その発芽は憎たらしい"が導かれる
3. 推論1と事実12から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その発芽は地方空港でない"が導かれる
5. 推論3と事実18から、仮説が導かれる

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