なにがしかの物は若しし軍需物資だ
fact1: あの対は三十年来である fact2: 「あの対はレセプターで加えて安堵し難い」ということは正しい fact3: あの対は若し fact4: なにがしかの物は軍需物資である fact5: 仮に「あの対は軍需物資であるかまたは確信出来ないか両方ともだ」ということは誤っているとすればそれは若しない fact6: このオープンエアは軍需物資だ fact7: あの対は呟く fact8: あの対は軍需物資だ fact9: 仮に若しないものが軍需物資だということはないとするとそれは一悶着だ fact10: そのＰハウスは若し fact11: 仮にあの対が若しないかまたは呟くかあるいは両方だとするとあの伍長は若し fact12: その下降トレンドは歩き難いしかつ若し fact13: 「この実体法上は若し」ということは真実だ fact14: 「若し」ものはある fact15: 「保持するし歌える」物はある fact16: 何らかのものが呟くなら肯定出来る
fact3 & fact8 -> int1: 「あの対は若ししさらに軍需物資である」ということは成り立つ; int1 -> hypothesis;
fact3 & fact8 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
「肯定出来るし加えて一悶着である」ものはある
fact17 -> int2: もしあの対が呟くとすればそれは肯定出来る; int2 & fact19 -> int3: あの対は肯定出来る; fact18 -> int4: もしあの対が若しということはなくてまたそれが軍需物資でないとすれば一悶着だ;
$facts$ = fact1: あの対は三十年来である fact2: 「あの対はレセプターで加えて安堵し難い」ということは正しい fact3: あの対は若し fact4: なにがしかの物は軍需物資である fact5: 仮に「あの対は軍需物資であるかまたは確信出来ないか両方ともだ」ということは誤っているとすればそれは若しない fact6: このオープンエアは軍需物資だ fact7: あの対は呟く fact8: あの対は軍需物資だ fact9: 仮に若しないものが軍需物資だということはないとするとそれは一悶着だ fact10: そのＰハウスは若し fact11: 仮にあの対が若しないかまたは呟くかあるいは両方だとするとあの伍長は若し fact12: その下降トレンドは歩き難いしかつ若し fact13: 「この実体法上は若し」ということは真実だ fact14: 「若し」ものはある fact15: 「保持するし歌える」物はある fact16: 何らかのものが呟くなら肯定出来る ; $hypothesis$ = なにがしかの物は若しし軍需物資だ ; $proof$ = 
fact3 & fact8 -> int1: 「あの対は若ししさらに軍需物資である」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: あの対は三十年来である
事実2: 「あの対はレセプターで加えて安堵し難い」ということは正しい
事実3: あの対は若し
事実4: なにがしかの物は軍需物資である
事実5: 仮に「あの対は軍需物資であるかまたは確信出来ないか両方ともだ」ということは誤っているとすればそれは若しない
事実6: このオープンエアは軍需物資だ
事実7: あの対は呟く
事実8: あの対は軍需物資だ
事実9: 仮に若しないものが軍需物資だということはないとするとそれは一悶着だ
事実10: そのＰハウスは若し
事実11: 仮にあの対が若しないかまたは呟くかあるいは両方だとするとあの伍長は若し
事実12: その下降トレンドは歩き難いしかつ若し
事実13: 「この実体法上は若し」ということは真実だ
事実14: 「若し」ものはある
事実15: 「保持するし歌える」物はある
事実16: 何らかのものが呟くなら肯定出来る

仮説: なにがしかの物は若しし軍需物資だ
1. 事実3と事実8から、推論1: "「あの対は若ししさらに軍需物資である」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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