そのデモ飛行は読み辛いかまたは弾む
fact1: もし何かは御連絡しないならばそれは取り立てないしさらさらしない fact2: もしもとある物が脆いかもしくはそれが軍隊式でないとするとその人間自身は校庭でない fact3: 何らかのものは事らしくない fact4: そのデモ飛行は弾む fact5: 「そのデモ飛行は高いかまたは弾むかまたは両方だ」ということは真実である fact6: そのデモ飛行は読み辛いか区別し易いかまたは両方である fact7: なんらかのものは取り立てないなら「さらさらしないけれどめんど臭い」ということは嘘である fact8: もしそのデモ飛行が来し易くないならその六寺は弾むしさらにそれは読み辛い fact9: その立体化は弾む fact10: あの特別規定は弾む fact11: もし「なにかはさらさらしないけどめんど臭い」ということは間違っているとすると「それは来し易くない」ということは事実と異ならない fact12: 「あの幕府側はし兼ねる」ということは事実だ fact13: 仮に「とあるものは事らしくないし代位しない」ということは成り立たないならばそれは御連絡しない fact14: そのデモ飛行は遠いかあるいは弾む fact15: もしもなんらかの物は校庭でないとしたら「それは事らしくないしそれに代位するということはない」ということは真実でない fact16: そのデモ飛行は上前であるかあるいは弾むかあるいはどちらもだ fact17: 「「とある物は代位するがしかし御連絡しない」ということは成り立たないとしたら取り立てない」ということは成り立つ fact18: めんど臭いということはないものは来し易くない fact19: もし仮にその人間自身が取り立てないし加えてさらさらしないとしたらそのデモ飛行はめんど臭くない fact20: その爆発音は読み辛い fact21: もし仮にあの幕府側がし兼ねるとすれば脆いかまたは軍隊式でないかあるいは両方である
fact4 -> hypothesis;
fact4 -> hypothesis;
その六寺は弾む
fact22 -> int1: もしそのデモ飛行はめんど臭くないならば「それは来し易くない」ということは確かだ; fact25 -> int2: もし仮にその人間自身が御連絡しないならそれが取り立てないしさらにさらさらしない; fact24 -> int3: 「その人間自身は事らしくないししかも代位しない」ということは成り立たないとしたら御連絡しない; fact29 -> int4: 「その人間自身は校庭でない」ということは真実ならば「事らしくないし代位するということはない」ということは成り立つということはない; fact23 & fact26 -> int5: あの幕府側は脆いか軍隊式でない; int5 -> int6: 「脆いかあるいは軍隊式でないかまたは両方ともな」ものはある; int6 & fact27 -> int7: その人間自身は校庭でない; int4 & int7 -> int8: 「その人間自身は事らしくないしさらに代位しない」ということは偽である; int3 & int8 -> int9: その人間自身は御連絡しない; int2 & int9 -> int10: その人間自身は取り立てるということはないしさらさらしない; fact28 & int10 -> int11: そのデモ飛行はめんど臭くない; int1 & int11 -> int12: そのデモ飛行は来し易くない; fact30 & int12 -> int13: その六寺は弾むし更に読み辛い; int13 -> hypothesis;
$facts$ = fact1: もし何かは御連絡しないならばそれは取り立てないしさらさらしない fact2: もしもとある物が脆いかもしくはそれが軍隊式でないとするとその人間自身は校庭でない fact3: 何らかのものは事らしくない fact4: そのデモ飛行は弾む fact5: 「そのデモ飛行は高いかまたは弾むかまたは両方だ」ということは真実である fact6: そのデモ飛行は読み辛いか区別し易いかまたは両方である fact7: なんらかのものは取り立てないなら「さらさらしないけれどめんど臭い」ということは嘘である fact8: もしそのデモ飛行が来し易くないならその六寺は弾むしさらにそれは読み辛い fact9: その立体化は弾む fact10: あの特別規定は弾む fact11: もし「なにかはさらさらしないけどめんど臭い」ということは間違っているとすると「それは来し易くない」ということは事実と異ならない fact12: 「あの幕府側はし兼ねる」ということは事実だ fact13: 仮に「とあるものは事らしくないし代位しない」ということは成り立たないならばそれは御連絡しない fact14: そのデモ飛行は遠いかあるいは弾む fact15: もしもなんらかの物は校庭でないとしたら「それは事らしくないしそれに代位するということはない」ということは真実でない fact16: そのデモ飛行は上前であるかあるいは弾むかあるいはどちらもだ fact17: 「「とある物は代位するがしかし御連絡しない」ということは成り立たないとしたら取り立てない」ということは成り立つ fact18: めんど臭いということはないものは来し易くない fact19: もし仮にその人間自身が取り立てないし加えてさらさらしないとしたらそのデモ飛行はめんど臭くない fact20: その爆発音は読み辛い fact21: もし仮にあの幕府側がし兼ねるとすれば脆いかまたは軍隊式でないかあるいは両方である ; $hypothesis$ = そのデモ飛行は読み辛いかまたは弾む ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし何かは御連絡しないならばそれは取り立てないしさらさらしない
事実2: もしもとある物が脆いかもしくはそれが軍隊式でないとするとその人間自身は校庭でない
事実3: 何らかのものは事らしくない
事実4: そのデモ飛行は弾む
事実5: 「そのデモ飛行は高いかまたは弾むかまたは両方だ」ということは真実である
事実6: そのデモ飛行は読み辛いか区別し易いかまたは両方である
事実7: なんらかのものは取り立てないなら「さらさらしないけれどめんど臭い」ということは嘘である
事実8: もしそのデモ飛行が来し易くないならその六寺は弾むしさらにそれは読み辛い
事実9: その立体化は弾む
事実10: あの特別規定は弾む
事実11: もし「なにかはさらさらしないけどめんど臭い」ということは間違っているとすると「それは来し易くない」ということは事実と異ならない
事実12: 「あの幕府側はし兼ねる」ということは事実だ
事実13: 仮に「とあるものは事らしくないし代位しない」ということは成り立たないならばそれは御連絡しない
事実14: そのデモ飛行は遠いかあるいは弾む
事実15: もしもなんらかの物は校庭でないとしたら「それは事らしくないしそれに代位するということはない」ということは真実でない
事実16: そのデモ飛行は上前であるかあるいは弾むかあるいはどちらもだ
事実17: 「「とある物は代位するがしかし御連絡しない」ということは成り立たないとしたら取り立てない」ということは成り立つ
事実18: めんど臭いということはないものは来し易くない
事実19: もし仮にその人間自身が取り立てないし加えてさらさらしないとしたらそのデモ飛行はめんど臭くない
事実20: その爆発音は読み辛い
事実21: もし仮にあの幕府側がし兼ねるとすれば脆いかまたは軍隊式でないかあるいは両方である

仮説: そのデモ飛行は読み辛いかまたは弾む
1. 事実4から、仮説が導かれる

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