その国際赤十字は増減出来る
fact1: 仮にこのサービス利用が君らしくないけど結集するならその国際赤十字は増減出来る fact2: もしあの行楽は結集するということはないとしたら「このサービス利用は驚かさないしそれにそれは君らしくない」ということは事実でない fact3: もし何かは驚かせばこのサービス利用は君らしくない fact4: もし仮にこのサービス利用が驚かせばそのストーリー展開は上がらないがしかし結集する fact5: 「驚かす」ものがあるとするとこのサービス利用は君らしくないがしかし結集する fact6: あるものは驚かす fact7: もしもあの共存共栄は疣状であるとしたら「あの行楽は絹漉しでなくて広しない」ということは事実でない fact8: もし「なんらかの物は絹漉しでないし加えて広しない」ということは偽であるとしたらそれは結集しない fact9: もし仮にこのサービス利用が君らしいしまた結集するとすればその国際赤十字は増減出来る fact10: 仮に「「君らしい」ということは真実な」物があればこのサービス利用は結集しない一方で増減出来る
fact6 & fact5 -> int1: このサービス利用は君らしいということはない一方で結集する; int1 & fact1 -> hypothesis;
その国際赤十字は増減出来ない
fact11 -> int2: 仮に「「あの行楽は絹漉しでないしかつ広しない」ということは成り立たない」ということは確かであるとしたらそれは結集するということはない;
$facts$ = fact1: 仮にこのサービス利用が君らしくないけど結集するならその国際赤十字は増減出来る fact2: もしあの行楽は結集するということはないとしたら「このサービス利用は驚かさないしそれにそれは君らしくない」ということは事実でない fact3: もし何かは驚かせばこのサービス利用は君らしくない fact4: もし仮にこのサービス利用が驚かせばそのストーリー展開は上がらないがしかし結集する fact5: 「驚かす」ものがあるとするとこのサービス利用は君らしくないがしかし結集する fact6: あるものは驚かす fact7: もしもあの共存共栄は疣状であるとしたら「あの行楽は絹漉しでなくて広しない」ということは事実でない fact8: もし「なんらかの物は絹漉しでないし加えて広しない」ということは偽であるとしたらそれは結集しない fact9: もし仮にこのサービス利用が君らしいしまた結集するとすればその国際赤十字は増減出来る fact10: 仮に「「君らしい」ということは真実な」物があればこのサービス利用は結集しない一方で増減出来る ; $hypothesis$ = その国際赤十字は増減出来る ; $proof$ = 
fact6 & fact5 -> int1: このサービス利用は君らしいということはない一方で結集する; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮にこのサービス利用が君らしくないけど結集するならその国際赤十字は増減出来る
事実2: もしあの行楽は結集するということはないとしたら「このサービス利用は驚かさないしそれにそれは君らしくない」ということは事実でない
事実3: もし何かは驚かせばこのサービス利用は君らしくない
事実4: もし仮にこのサービス利用が驚かせばそのストーリー展開は上がらないがしかし結集する
事実5: 「驚かす」ものがあるとするとこのサービス利用は君らしくないがしかし結集する
事実6: あるものは驚かす
事実7: もしもあの共存共栄は疣状であるとしたら「あの行楽は絹漉しでなくて広しない」ということは事実でない
事実8: もし「なんらかの物は絹漉しでないし加えて広しない」ということは偽であるとしたらそれは結集しない
事実9: もし仮にこのサービス利用が君らしいしまた結集するとすればその国際赤十字は増減出来る
事実10: 仮に「「君らしい」ということは真実な」物があればこのサービス利用は結集しない一方で増減出来る

仮説: その国際赤十字は増減出来る
1. 事実6と事実5から、推論1: "このサービス利用は君らしいということはない一方で結集する"が導かれる
2. 推論1と事実1から、仮説が導かれる

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