「あの酸素消費量はＭ四戦車であるしさらにはしたない」ということは嘘だ
fact1: もしもあの酸素消費量が甲板員でないがしかしドリームプラネットインターナショナルスクールであるとすると「アルゴリズムでない」ということは事実だ fact2: 仮になんらかのものは創作出来ないとすると「それはＭ四戦車であるしその上甲板員だ」ということは嘘である fact3: 「「誤解し易いしそれに初演しない」ということは成り立つということはない」物はある fact4: 仮にこの国司が甲板員でないとすればあの酸素消費量はドリームプラネットインターナショナルスクールでない fact5: この国司は比較し得ないか創作出来ないか両方ともだ fact6: もしも「「誤解し易いしその上初演しない」ということは間違っている」ものがあるとすればあの酸素消費量は誤解し易くない fact7: あの酸素消費量はドリームプラネットインターナショナルスクールであるということはない fact8: もしもなんらかのものが甲板員でなくてまたドリームプラネットインターナショナルスクールでないとすればアルゴリズムでない fact9: もし「この国司は比較し得るということはないかもしくはそれは創作出来ないかもしくはどちらもである」ということは成り立つとするとそれは甲板員でない fact10: 「その鬱は創作出来るしそれに浮き沈みする」ということは成り立たない fact11: もしもあるものは御豆腐でないなら「煙たくてそれは按ずる」ということは成り立たない fact12: もし仮に「何らかのものがドリームプラネットインターナショナルスクールだけど甲板員でない」ということは成り立つということはないならそれはＭ四戦車だ fact13: とある物はもじもじしないならば「それは引き移るしそれに脱出出来る」ということは成り立たない fact14: もしあの酸素消費量は甲板員でないならば「比較し得るし加えて創作出来る」ということは成り立たない fact15: この国司は日本薬学図書館協議会でない fact16: もし「この国司は創作出来ない」ということは本当であるとすれば「それは甲板員でない」ということは真実である fact17: もし仮にこの国司が甲板員でないとするとあの酸素消費量は甲板員でないしドリームプラネットインターナショナルスクールでない fact18: この国司は比較し得ないかまたは創作出来るかまたはどちらもだ fact19: もしもとあるものは甲板員だということはないがドリームプラネットインターナショナルスクールであるとすればアルゴリズムでない fact20: 「仮になんらかのものは誤解し易いということはないとすれば「それはドリームプラネットインターナショナルスクールで甲板員でない」ということは誤りだ」ということは事実だ fact21: もしもなにがしかの物ははしたなくないならば「創作出来るしドリームプラネットインターナショナルスクールだ」ということは誤っている fact22: その刈り取り機はドリームプラネットインターナショナルスクールであるということはない fact23: もしもなにがしかのものはアルゴリズムでないとすれば「それはＭ四戦車であるしはしたない」ということは嘘である
fact9 & fact5 -> int1: この国司は甲板員でない; int1 & fact17 -> int2: あの酸素消費量は甲板員でないしそれはドリームプラネットインターナショナルスクールでない; fact8 -> int3: あの酸素消費量は甲板員でなくてドリームプラネットインターナショナルスクールでないとしたらアルゴリズムでない; int2 & int3 -> int4: あの酸素消費量はアルゴリズムでない; fact23 -> int5: もしもあの酸素消費量はアルゴリズムでないなら「Ｍ四戦車ではしたない」ということは間違いである; int4 & int5 -> hypothesis;
あの酸素消費量はＭ四戦車だし加えてはしたない
fact25 -> int6: もし「あの酸素消費量はドリームプラネットインターナショナルスクールだが甲板員でない」ということは嘘であるならばＭ四戦車である; fact26 -> int7: もしあの酸素消費量は誤解し易くないとすれば「それはドリームプラネットインターナショナルスクールだが甲板員だということはない」ということは嘘である; fact24 & fact27 -> int8: あの酸素消費量は誤解し易くない; int7 & int8 -> int9: 「あの酸素消費量がドリームプラネットインターナショナルスクールだけどそれは甲板員でない」ということは事実と異なる; int6 & int9 -> int10: 「あの酸素消費量はＭ四戦車だ」ということは事実である;
$facts$ = fact1: もしもあの酸素消費量が甲板員でないがしかしドリームプラネットインターナショナルスクールであるとすると「アルゴリズムでない」ということは事実だ fact2: 仮になんらかのものは創作出来ないとすると「それはＭ四戦車であるしその上甲板員だ」ということは嘘である fact3: 「「誤解し易いしそれに初演しない」ということは成り立つということはない」物はある fact4: 仮にこの国司が甲板員でないとすればあの酸素消費量はドリームプラネットインターナショナルスクールでない fact5: この国司は比較し得ないか創作出来ないか両方ともだ fact6: もしも「「誤解し易いしその上初演しない」ということは間違っている」ものがあるとすればあの酸素消費量は誤解し易くない fact7: あの酸素消費量はドリームプラネットインターナショナルスクールであるということはない fact8: もしもなんらかのものが甲板員でなくてまたドリームプラネットインターナショナルスクールでないとすればアルゴリズムでない fact9: もし「この国司は比較し得るということはないかもしくはそれは創作出来ないかもしくはどちらもである」ということは成り立つとするとそれは甲板員でない fact10: 「その鬱は創作出来るしそれに浮き沈みする」ということは成り立たない fact11: もしもあるものは御豆腐でないなら「煙たくてそれは按ずる」ということは成り立たない fact12: もし仮に「何らかのものがドリームプラネットインターナショナルスクールだけど甲板員でない」ということは成り立つということはないならそれはＭ四戦車だ fact13: とある物はもじもじしないならば「それは引き移るしそれに脱出出来る」ということは成り立たない fact14: もしあの酸素消費量は甲板員でないならば「比較し得るし加えて創作出来る」ということは成り立たない fact15: この国司は日本薬学図書館協議会でない fact16: もし「この国司は創作出来ない」ということは本当であるとすれば「それは甲板員でない」ということは真実である fact17: もし仮にこの国司が甲板員でないとするとあの酸素消費量は甲板員でないしドリームプラネットインターナショナルスクールでない fact18: この国司は比較し得ないかまたは創作出来るかまたはどちらもだ fact19: もしもとあるものは甲板員だということはないがドリームプラネットインターナショナルスクールであるとすればアルゴリズムでない fact20: 「仮になんらかのものは誤解し易いということはないとすれば「それはドリームプラネットインターナショナルスクールで甲板員でない」ということは誤りだ」ということは事実だ fact21: もしもなにがしかの物ははしたなくないならば「創作出来るしドリームプラネットインターナショナルスクールだ」ということは誤っている fact22: その刈り取り機はドリームプラネットインターナショナルスクールであるということはない fact23: もしもなにがしかのものはアルゴリズムでないとすれば「それはＭ四戦車であるしはしたない」ということは嘘である ; $hypothesis$ = 「あの酸素消費量はＭ四戦車であるしさらにはしたない」ということは嘘だ ; $proof$ = 
fact9 & fact5 -> int1: この国司は甲板員でない; int1 & fact17 -> int2: あの酸素消費量は甲板員でないしそれはドリームプラネットインターナショナルスクールでない; fact8 -> int3: あの酸素消費量は甲板員でなくてドリームプラネットインターナショナルスクールでないとしたらアルゴリズムでない; int2 & int3 -> int4: あの酸素消費量はアルゴリズムでない; fact23 -> int5: もしもあの酸素消費量はアルゴリズムでないなら「Ｍ四戦車ではしたない」ということは間違いである; int4 & int5 -> hypothesis; __PROVED__
事実1: もしもあの酸素消費量が甲板員でないがしかしドリームプラネットインターナショナルスクールであるとすると「アルゴリズムでない」ということは事実だ
事実2: 仮になんらかのものは創作出来ないとすると「それはＭ四戦車であるしその上甲板員だ」ということは嘘である
事実3: 「「誤解し易いしそれに初演しない」ということは成り立つということはない」物はある
事実4: 仮にこの国司が甲板員でないとすればあの酸素消費量はドリームプラネットインターナショナルスクールでない
事実5: この国司は比較し得ないか創作出来ないか両方ともだ
事実6: もしも「「誤解し易いしその上初演しない」ということは間違っている」ものがあるとすればあの酸素消費量は誤解し易くない
事実7: あの酸素消費量はドリームプラネットインターナショナルスクールであるということはない
事実8: もしもなんらかのものが甲板員でなくてまたドリームプラネットインターナショナルスクールでないとすればアルゴリズムでない
事実9: もし「この国司は比較し得るということはないかもしくはそれは創作出来ないかもしくはどちらもである」ということは成り立つとするとそれは甲板員でない
事実10: 「その鬱は創作出来るしそれに浮き沈みする」ということは成り立たない
事実11: もしもあるものは御豆腐でないなら「煙たくてそれは按ずる」ということは成り立たない
事実12: もし仮に「何らかのものがドリームプラネットインターナショナルスクールだけど甲板員でない」ということは成り立つということはないならそれはＭ四戦車だ
事実13: とある物はもじもじしないならば「それは引き移るしそれに脱出出来る」ということは成り立たない
事実14: もしあの酸素消費量は甲板員でないならば「比較し得るし加えて創作出来る」ということは成り立たない
事実15: この国司は日本薬学図書館協議会でない
事実16: もし「この国司は創作出来ない」ということは本当であるとすれば「それは甲板員でない」ということは真実である
事実17: もし仮にこの国司が甲板員でないとするとあの酸素消費量は甲板員でないしドリームプラネットインターナショナルスクールでない
事実18: この国司は比較し得ないかまたは創作出来るかまたはどちらもだ
事実19: もしもとあるものは甲板員だということはないがドリームプラネットインターナショナルスクールであるとすればアルゴリズムでない
事実20: 「仮になんらかのものは誤解し易いということはないとすれば「それはドリームプラネットインターナショナルスクールで甲板員でない」ということは誤りだ」ということは事実だ
事実21: もしもなにがしかの物ははしたなくないならば「創作出来るしドリームプラネットインターナショナルスクールだ」ということは誤っている
事実22: その刈り取り機はドリームプラネットインターナショナルスクールであるということはない
事実23: もしもなにがしかのものはアルゴリズムでないとすれば「それはＭ四戦車であるしはしたない」ということは嘘である

仮説: 「あの酸素消費量はＭ四戦車であるしさらにはしたない」ということは嘘だ
1. 事実9と事実5から、推論1: "この国司は甲板員でない"が導かれる
2. 推論1と事実17から、推論2: "あの酸素消費量は甲板員でないしそれはドリームプラネットインターナショナルスクールでない"が導かれる
3. 事実8から、推論3: "あの酸素消費量は甲板員でなくてドリームプラネットインターナショナルスクールでないとしたらアルゴリズムでない"が導かれる
4. 推論2と推論3から、推論4: "あの酸素消費量はアルゴリズムでない"が導かれる
5. 事実23から、推論5: "もしもあの酸素消費量はアルゴリズムでないなら「Ｍ四戦車ではしたない」ということは間違いである"が導かれる
6. 推論4と推論5から、仮説が導かれる

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