あのキューはセンデロ・ルミノソだということはないがしかし城兵だ
fact1: あのキューは修身教科書でない fact2: もし何かは修身教科書でないならばそれはセンデロ・ルミノソでないしそれは城兵だ fact3: 仮にあの求人票が明るいとすればこのアミノ酸輸液薬は生み難くなくておまけに経理部長でない fact4: 仮になにかは組織名でないならば「現実化しない」ということは成り立つ fact5: 仮に生み難いということはないものは経理部長であるということはないなら修身教科書である fact6: もし「何らかの物は既製服であるしさらに素っ気ない」ということは事実と異なるならそれは早くない fact7: もし仮にこのアミノ酸輸液薬は修身教科書だとしたら「あのキューはセンデロ・ルミノソでないけれど城兵である」ということは嘘である fact8: その売り上げ金はセンデロ・ルミノソだということはない fact9: 仮にあのキューは修身教科書でないならばそれは城兵だ
fact2 -> int1: あのキューは修身教科書でないとするとセンデロ・ルミノソだということはないが城兵である; int1 & fact1 -> hypothesis;
「あのキューはセンデロ・ルミノソでないがしかし城兵である」ということは間違っている
fact10 -> int2: もしこのアミノ酸輸液薬は生み難くなくて経理部長であるということはないとすると修身教科書だ; fact11 -> int3: 「あの紡績会社は既製服であるしおまけに素っ気ない」ということは成り立たないならばそれは早くない;
$facts$ = fact1: あのキューは修身教科書でない fact2: もし何かは修身教科書でないならばそれはセンデロ・ルミノソでないしそれは城兵だ fact3: 仮にあの求人票が明るいとすればこのアミノ酸輸液薬は生み難くなくておまけに経理部長でない fact4: 仮になにかは組織名でないならば「現実化しない」ということは成り立つ fact5: 仮に生み難いということはないものは経理部長であるということはないなら修身教科書である fact6: もし「何らかの物は既製服であるしさらに素っ気ない」ということは事実と異なるならそれは早くない fact7: もし仮にこのアミノ酸輸液薬は修身教科書だとしたら「あのキューはセンデロ・ルミノソでないけれど城兵である」ということは嘘である fact8: その売り上げ金はセンデロ・ルミノソだということはない fact9: 仮にあのキューは修身教科書でないならばそれは城兵だ ; $hypothesis$ = あのキューはセンデロ・ルミノソだということはないがしかし城兵だ ; $proof$ = 
fact2 -> int1: あのキューは修身教科書でないとするとセンデロ・ルミノソだということはないが城兵である; int1 & fact1 -> hypothesis; __PROVED__
事実1: あのキューは修身教科書でない
事実2: もし何かは修身教科書でないならばそれはセンデロ・ルミノソでないしそれは城兵だ
事実3: 仮にあの求人票が明るいとすればこのアミノ酸輸液薬は生み難くなくておまけに経理部長でない
事実4: 仮になにかは組織名でないならば「現実化しない」ということは成り立つ
事実5: 仮に生み難いということはないものは経理部長であるということはないなら修身教科書である
事実6: もし「何らかの物は既製服であるしさらに素っ気ない」ということは事実と異なるならそれは早くない
事実7: もし仮にこのアミノ酸輸液薬は修身教科書だとしたら「あのキューはセンデロ・ルミノソでないけれど城兵である」ということは嘘である
事実8: その売り上げ金はセンデロ・ルミノソだということはない
事実9: 仮にあのキューは修身教科書でないならばそれは城兵だ

仮説: あのキューはセンデロ・ルミノソだということはないがしかし城兵だ
1. 事実2から、推論1: "あのキューは修身教科書でないとするとセンデロ・ルミノソだということはないが城兵である"が導かれる
2. 推論1と事実1から、仮説が導かれる

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