もしもあのカスタードは日本らしくないとすると「そのＬＰＧは理想化しないがＬＲである」ということは嘘だ
fact1: もし「あのカスタードは日本らしくない」ということは確かであるならば「そのＬＰＧは理想化するしＬＲだ」ということは間違っている fact2: 「そのＬＰＧは理想化するしおまけにＬＲである」ということは事実と異なる fact3: そのＬＰＧは理想化しないがしかしＬＲだ fact4: もしもあのカスタードが日本らしいということはないとしたらこの小隊特曹は遊泳しない fact5: 仮にこの小隊特曹は遊泳しないとすると「そのＬＰＧは理想化しないがしかしＬＲだ」ということは成り立たない fact6: 仮にこの小隊特曹は遊泳しないとすると「そのＬＰＧは理想化するしそれはＬＲである」ということは嘘だ fact7: もしそのＬＰＧが日本らしくないとするとあのカスタードは理想化しない fact8: 仮にこの小隊特曹が遊泳するということはないとしたらそのＬＰＧは理想化しないけれどＬＲだ
void -> assump1: 以下のように仮定する。あのカスタードは日本らしくない; fact4 & assump1 -> int1: この小隊特曹は遊泳しない; int1 & fact5 -> int2: 「そのＬＰＧは理想化しないがＬＲだ」ということは間違っている; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし「あのカスタードは日本らしくない」ということは確かであるならば「そのＬＰＧは理想化するしＬＲだ」ということは間違っている fact2: 「そのＬＰＧは理想化するしおまけにＬＲである」ということは事実と異なる fact3: そのＬＰＧは理想化しないがしかしＬＲだ fact4: もしもあのカスタードが日本らしいということはないとしたらこの小隊特曹は遊泳しない fact5: 仮にこの小隊特曹は遊泳しないとすると「そのＬＰＧは理想化しないがしかしＬＲだ」ということは成り立たない fact6: 仮にこの小隊特曹は遊泳しないとすると「そのＬＰＧは理想化するしそれはＬＲである」ということは嘘だ fact7: もしそのＬＰＧが日本らしくないとするとあのカスタードは理想化しない fact8: 仮にこの小隊特曹が遊泳するということはないとしたらそのＬＰＧは理想化しないけれどＬＲだ ; $hypothesis$ = もしもあのカスタードは日本らしくないとすると「そのＬＰＧは理想化しないがＬＲである」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのカスタードは日本らしくない; fact4 & assump1 -> int1: この小隊特曹は遊泳しない; int1 & fact5 -> int2: 「そのＬＰＧは理想化しないがＬＲだ」ということは間違っている; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし「あのカスタードは日本らしくない」ということは確かであるならば「そのＬＰＧは理想化するしＬＲだ」ということは間違っている
事実2: 「そのＬＰＧは理想化するしおまけにＬＲである」ということは事実と異なる
事実3: そのＬＰＧは理想化しないがしかしＬＲだ
事実4: もしもあのカスタードが日本らしいということはないとしたらこの小隊特曹は遊泳しない
事実5: 仮にこの小隊特曹は遊泳しないとすると「そのＬＰＧは理想化しないがしかしＬＲだ」ということは成り立たない
事実6: 仮にこの小隊特曹は遊泳しないとすると「そのＬＰＧは理想化するしそれはＬＲである」ということは嘘だ
事実7: もしそのＬＰＧが日本らしくないとするとあのカスタードは理想化しない
事実8: 仮にこの小隊特曹が遊泳するということはないとしたらそのＬＰＧは理想化しないけれどＬＲだ

仮説: もしもあのカスタードは日本らしくないとすると「そのＬＰＧは理想化しないがＬＲである」ということは嘘だ
1. 仮定1: 以下のように仮定する。あのカスタードは日本らしくない
2. 事実4と仮定1から、推論1: "この小隊特曹は遊泳しない"が導かれる
3. 推論1と事実5から、推論2: "「そのＬＰＧは理想化しないがＬＲだ」ということは間違っている"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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