この藁舟は一騎打ちでないし可変出来ない
fact1: もしも「その物流活動は恭しいということはない」ということは真実であるとしたらこの藁舟は実用化出来なくてしかもそれはペスト菌でない fact2: この藁舟は可変出来ないし眩くない fact3: もしあるものが齎し易いということはないとすると開大するということはないし加えて揺るがない fact4: 仮に「ある物は齎し易いが切断反応でない」ということは誤っているとしたら「齎し易くない」ということは正しい fact5: この藁舟が揺るぐならばあの物流活動は一騎打ちでないし賢しくない fact6: もしもなんらかのものは実用化出来るということはないとしたら「それは齎し易くてまたそれは切断反応でない」ということは誤りである fact7: もしその外出先が揺るぐとすればこの藁舟は可変出来ない fact8: この藁舟は可変出来ない fact9: もし仮にあるものは賢しくないなら「一騎打ちでないしその上それは可変出来ない」ということは成り立たない fact10: 仮に何らかの物が民業でないしそれが汚くないとしたらそれは出入りし易い fact11: その物流活動は賢しい fact12: 仮にその外出先が恭しくて出入りし易いならばその物流活動は恭しくない fact13: 仮にその物流活動が賢しいとしたらその外出先は揺るぐ fact14: その外出先は恭しい fact15: 何かは開大するということはないしまた揺るぐということはないならそれは賢しいということはない fact16: もし仮にその外出先が揺るげばこの藁舟は一騎打ちであるということはないしまた可変出来ない
fact13 & fact11 -> int1: その外出先は揺るぐ; int1 & fact16 -> hypothesis;
「この藁舟は一騎打ちでなくてしかも可変出来ない」ということは確かでない
fact19 -> int2: もしもこの藁舟は賢しくないならば「一騎打ちでないしまた可変出来ない」ということは間違いだ; fact17 -> int3: もし仮にこの藁舟は開大しなくて加えて揺るがないならば賢しくない; fact21 -> int4: もし仮にこの藁舟が齎し易くないとすれば開大しなくて揺るがない; fact22 -> int5: もし「この藁舟は齎し易いがしかし切断反応だということはない」ということは成り立たないとすればそれは齎し易いということはない; fact18 -> int6: 仮にこの藁舟は実用化出来ないとすると「齎し易いが切断反応でない」ということは真実でない; fact23 -> int7: その外出先は民業でないし汚くないとするとそれは出入りし易い;
$facts$ = fact1: もしも「その物流活動は恭しいということはない」ということは真実であるとしたらこの藁舟は実用化出来なくてしかもそれはペスト菌でない fact2: この藁舟は可変出来ないし眩くない fact3: もしあるものが齎し易いということはないとすると開大するということはないし加えて揺るがない fact4: 仮に「ある物は齎し易いが切断反応でない」ということは誤っているとしたら「齎し易くない」ということは正しい fact5: この藁舟が揺るぐならばあの物流活動は一騎打ちでないし賢しくない fact6: もしもなんらかのものは実用化出来るということはないとしたら「それは齎し易くてまたそれは切断反応でない」ということは誤りである fact7: もしその外出先が揺るぐとすればこの藁舟は可変出来ない fact8: この藁舟は可変出来ない fact9: もし仮にあるものは賢しくないなら「一騎打ちでないしその上それは可変出来ない」ということは成り立たない fact10: 仮に何らかの物が民業でないしそれが汚くないとしたらそれは出入りし易い fact11: その物流活動は賢しい fact12: 仮にその外出先が恭しくて出入りし易いならばその物流活動は恭しくない fact13: 仮にその物流活動が賢しいとしたらその外出先は揺るぐ fact14: その外出先は恭しい fact15: 何かは開大するということはないしまた揺るぐということはないならそれは賢しいということはない fact16: もし仮にその外出先が揺るげばこの藁舟は一騎打ちであるということはないしまた可変出来ない ; $hypothesis$ = この藁舟は一騎打ちでないし可変出来ない ; $proof$ = 
fact13 & fact11 -> int1: その外出先は揺るぐ; int1 & fact16 -> hypothesis; __PROVED__
事実1: もしも「その物流活動は恭しいということはない」ということは真実であるとしたらこの藁舟は実用化出来なくてしかもそれはペスト菌でない
事実2: この藁舟は可変出来ないし眩くない
事実3: もしあるものが齎し易いということはないとすると開大するということはないし加えて揺るがない
事実4: 仮に「ある物は齎し易いが切断反応でない」ということは誤っているとしたら「齎し易くない」ということは正しい
事実5: この藁舟が揺るぐならばあの物流活動は一騎打ちでないし賢しくない
事実6: もしもなんらかのものは実用化出来るということはないとしたら「それは齎し易くてまたそれは切断反応でない」ということは誤りである
事実7: もしその外出先が揺るぐとすればこの藁舟は可変出来ない
事実8: この藁舟は可変出来ない
事実9: もし仮にあるものは賢しくないなら「一騎打ちでないしその上それは可変出来ない」ということは成り立たない
事実10: 仮に何らかの物が民業でないしそれが汚くないとしたらそれは出入りし易い
事実11: その物流活動は賢しい
事実12: 仮にその外出先が恭しくて出入りし易いならばその物流活動は恭しくない
事実13: 仮にその物流活動が賢しいとしたらその外出先は揺るぐ
事実14: その外出先は恭しい
事実15: 何かは開大するということはないしまた揺るぐということはないならそれは賢しいということはない
事実16: もし仮にその外出先が揺るげばこの藁舟は一騎打ちであるということはないしまた可変出来ない

仮説: この藁舟は一騎打ちでないし可変出来ない
1. 事実13と事実11から、推論1: "その外出先は揺るぐ"が導かれる
2. 推論1と事実16から、仮説が導かれる

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