この隊員達は十五分頃でない
fact1: 仮にあの裸体画が登記簿謄抄本閲覧申請書ならばあの隊員達は十五分頃だ fact2: あの裸体画は夢人物でないし丸っこくない fact3: もし「あの裸体画は夢人物でなくてそれにそれは丸っこいということはない」ということは確かならばそれは面構えであるということはない fact4: もしもとあるものが面構えでないとすればそれは外出出来ないし更に厳つい fact5: 仮にある物は外出出来ない一方で厳ついとすれば登記簿謄抄本閲覧申請書だ
fact4 -> int1: もしもあの裸体画が面構えでないとすると外出出来なくてそれに厳つい; fact2 & fact3 -> int2: 「あの裸体画は面構えでない」ということは確かである; int1 & int2 -> int3: あの裸体画は外出出来ないけど厳つい; fact5 -> int4: 仮にあの裸体画が外出出来ないがしかしそれが厳ついとすればそれは登記簿謄抄本閲覧申請書だ; int3 & int4 -> int5: あの裸体画は登記簿謄抄本閲覧申請書である; int5 & fact1 -> hypothesis;
$facts$ = fact1: 仮にあの裸体画が登記簿謄抄本閲覧申請書ならばあの隊員達は十五分頃だ fact2: あの裸体画は夢人物でないし丸っこくない fact3: もし「あの裸体画は夢人物でなくてそれにそれは丸っこいということはない」ということは確かならばそれは面構えであるということはない fact4: もしもとあるものが面構えでないとすればそれは外出出来ないし更に厳つい fact5: 仮にある物は外出出来ない一方で厳ついとすれば登記簿謄抄本閲覧申請書だ ; $hypothesis$ = この隊員達は十五分頃でない ; $proof$ = 
fact4 -> int1: もしもあの裸体画が面構えでないとすると外出出来なくてそれに厳つい; fact2 & fact3 -> int2: 「あの裸体画は面構えでない」ということは確かである; int1 & int2 -> int3: あの裸体画は外出出来ないけど厳つい; fact5 -> int4: 仮にあの裸体画が外出出来ないがしかしそれが厳ついとすればそれは登記簿謄抄本閲覧申請書だ; int3 & int4 -> int5: あの裸体画は登記簿謄抄本閲覧申請書である; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあの裸体画が登記簿謄抄本閲覧申請書ならばあの隊員達は十五分頃だ
事実2: あの裸体画は夢人物でないし丸っこくない
事実3: もし「あの裸体画は夢人物でなくてそれにそれは丸っこいということはない」ということは確かならばそれは面構えであるということはない
事実4: もしもとあるものが面構えでないとすればそれは外出出来ないし更に厳つい
事実5: 仮にある物は外出出来ない一方で厳ついとすれば登記簿謄抄本閲覧申請書だ

仮説: この隊員達は十五分頃でない
1. 事実4から、推論1: "もしもあの裸体画が面構えでないとすると外出出来なくてそれに厳つい"が導かれる
2. 事実2と事実3から、推論2: "「あの裸体画は面構えでない」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "あの裸体画は外出出来ないけど厳つい"が導かれる
4. 事実5から、推論4: "仮にあの裸体画が外出出来ないがしかしそれが厳ついとすればそれは登記簿謄抄本閲覧申請書だ"が導かれる
5. 推論3と推論4から、推論5: "あの裸体画は登記簿謄抄本閲覧申請書である"が導かれる
6. 推論5と事実1から、仮説が否定される

よって、仮説が否定されました。