「この綴れ織りは世界規模でなくて狡賢くない」ということは成り立たない
fact1: 半月は赤っぽい fact2: 仮に何らかの物が恨みがましくらないとしたら世界規模でないしおまけに狡賢くない fact3: 仮にこのＮＡＴＯ軍は半月であるとしたら「この綴れ織りが恨みはましくらなくてそれは世界規模でない」ということは成り立つということはない fact4: 「この綴れ織りは赤っぽいがしかし世界規模でない」ということは事実と異なる fact5: このＮＡＴＯ軍は恨みがましい fact6: このＮＡＴＯ軍が恨みがましいとするとこの傷心度は半月である fact7: 「この傷心度は集め易いということはないがしかし恨みがましい」ということは成り立たない fact8: もしこの傷心度は赤っぽいならば「この綴れ織りは世界規模でなくてしかもそれは狡賢くない」ということは間違いだ
fact6 & fact5 -> int1: 「この傷心度は半月だ」ということは成り立つ; fact1 -> int2: もしも「この傷心度は半月だ」ということは本当であるとしたらそれは赤っぽい; int1 & int2 -> int3: この傷心度は赤っぽい; int3 & fact8 -> hypothesis;
fact6 & fact5 -> int1: {B}{b}; fact1 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 & fact8 -> hypothesis;
この綴れ織りは世界規模であるということはないしさらに狡賢いということはない
fact9 -> int4: 仮に「この綴れ織りは恨みがましいということはない」ということは正しいとするとそれは世界規模であるということはなくてそれに狡賢くない;
$facts$ = fact1: 半月は赤っぽい fact2: 仮に何らかの物が恨みがましくらないとしたら世界規模でないしおまけに狡賢くない fact3: 仮にこのＮＡＴＯ軍は半月であるとしたら「この綴れ織りが恨みはましくらなくてそれは世界規模でない」ということは成り立つということはない fact4: 「この綴れ織りは赤っぽいがしかし世界規模でない」ということは事実と異なる fact5: このＮＡＴＯ軍は恨みがましい fact6: このＮＡＴＯ軍が恨みがましいとするとこの傷心度は半月である fact7: 「この傷心度は集め易いということはないがしかし恨みがましい」ということは成り立たない fact8: もしこの傷心度は赤っぽいならば「この綴れ織りは世界規模でなくてしかもそれは狡賢くない」ということは間違いだ ; $hypothesis$ = 「この綴れ織りは世界規模でなくて狡賢くない」ということは成り立たない ; $proof$ = 
fact6 & fact5 -> int1: 「この傷心度は半月だ」ということは成り立つ; fact1 -> int2: もしも「この傷心度は半月だ」ということは本当であるとしたらそれは赤っぽい; int1 & int2 -> int3: この傷心度は赤っぽい; int3 & fact8 -> hypothesis; __PROVED__
事実1: 半月は赤っぽい
事実2: 仮に何らかの物が恨みがましくらないとしたら世界規模でないしおまけに狡賢くない
事実3: 仮にこのＮＡＴＯ軍は半月であるとしたら「この綴れ織りが恨みはましくらなくてそれは世界規模でない」ということは成り立つということはない
事実4: 「この綴れ織りは赤っぽいがしかし世界規模でない」ということは事実と異なる
事実5: このＮＡＴＯ軍は恨みがましい
事実6: このＮＡＴＯ軍が恨みがましいとするとこの傷心度は半月である
事実7: 「この傷心度は集め易いということはないがしかし恨みがましい」ということは成り立たない
事実8: もしこの傷心度は赤っぽいならば「この綴れ織りは世界規模でなくてしかもそれは狡賢くない」ということは間違いだ

仮説: 「この綴れ織りは世界規模でなくて狡賢くない」ということは成り立たない
1. 事実6と事実5から、推論1: "「この傷心度は半月だ」ということは成り立つ"が導かれる
2. 事実1から、推論2: "もしも「この傷心度は半月だ」ということは本当であるとしたらそれは赤っぽい"が導かれる
3. 推論1と推論2から、推論3: "この傷心度は赤っぽい"が導かれる
4. 推論3と事実8から、仮説が導かれる

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