この作男は悍ましい一方で値下げしない
fact1: この教授職は病気する fact2: この作男は麗しけれどそれは擽ったくない fact3: 仮に「ある物は二十三軒でないし更に根強くない」ということは成り立たないとすると病気する fact4: その被災地住民は玄関詳細図であるけれど曖昧表現でない fact5: 「根強い」ものはある fact6: 仮にそのカイロ宣言が病気するとすればこの作男は悍ましい fact7: この作男は根強い fact8: なにがしかのものは根強くない fact9: そのカイロ宣言は吸収され易いがしかし交でない fact10: もし「根強くない」ものがあるならこの作男は値下げしない fact11: もしもある物は移動し易いとすると「それは二十三軒でないし根強くない」ということは成り立つということはない fact12: そのカイロ宣言は値下げしない fact13: もしもそのカイロ宣言が値下げするとするとこの作男は病気する fact14: この作男は真田素っ破だ fact15: そのカイロ宣言は自然観であるけれど真田素っ破でない fact16: そのカイロ宣言は病気する fact17: この作男は病気する fact18: この具体は病気する
fact6 & fact16 -> int1: 「この作男は悍ましい」ということは成り立つ; fact10 & fact8 -> int2: この作男は値下げしない; int1 & int2 -> hypothesis;
fact6 & fact16 -> int1: {B}{b}; fact10 & fact8 -> int2: ¬{C}{b}; int1 & int2 -> hypothesis;
「この作男は悍ましいけれど値下げしない」ということは成り立たない
fact20 -> int3: もしも「この作男は二十三軒でないしまた根強くない」ということは確かでないとすれば病気する; fact21 -> int4: 仮に「この作男は移動し易い」ということは事実であるならば「二十三軒だということはないし根強いということはない」ということは嘘だ; fact19 -> int5: 「吸収され易いけれど交でない」物はある;
$facts$ = fact1: この教授職は病気する fact2: この作男は麗しけれどそれは擽ったくない fact3: 仮に「ある物は二十三軒でないし更に根強くない」ということは成り立たないとすると病気する fact4: その被災地住民は玄関詳細図であるけれど曖昧表現でない fact5: 「根強い」ものはある fact6: 仮にそのカイロ宣言が病気するとすればこの作男は悍ましい fact7: この作男は根強い fact8: なにがしかのものは根強くない fact9: そのカイロ宣言は吸収され易いがしかし交でない fact10: もし「根強くない」ものがあるならこの作男は値下げしない fact11: もしもある物は移動し易いとすると「それは二十三軒でないし根強くない」ということは成り立つということはない fact12: そのカイロ宣言は値下げしない fact13: もしもそのカイロ宣言が値下げするとするとこの作男は病気する fact14: この作男は真田素っ破だ fact15: そのカイロ宣言は自然観であるけれど真田素っ破でない fact16: そのカイロ宣言は病気する fact17: この作男は病気する fact18: この具体は病気する ; $hypothesis$ = この作男は悍ましい一方で値下げしない ; $proof$ = 
fact6 & fact16 -> int1: 「この作男は悍ましい」ということは成り立つ; fact10 & fact8 -> int2: この作男は値下げしない; int1 & int2 -> hypothesis; __PROVED__
事実1: この教授職は病気する
事実2: この作男は麗しけれどそれは擽ったくない
事実3: 仮に「ある物は二十三軒でないし更に根強くない」ということは成り立たないとすると病気する
事実4: その被災地住民は玄関詳細図であるけれど曖昧表現でない
事実5: 「根強い」ものはある
事実6: 仮にそのカイロ宣言が病気するとすればこの作男は悍ましい
事実7: この作男は根強い
事実8: なにがしかのものは根強くない
事実9: そのカイロ宣言は吸収され易いがしかし交でない
事実10: もし「根強くない」ものがあるならこの作男は値下げしない
事実11: もしもある物は移動し易いとすると「それは二十三軒でないし根強くない」ということは成り立つということはない
事実12: そのカイロ宣言は値下げしない
事実13: もしもそのカイロ宣言が値下げするとするとこの作男は病気する
事実14: この作男は真田素っ破だ
事実15: そのカイロ宣言は自然観であるけれど真田素っ破でない
事実16: そのカイロ宣言は病気する
事実17: この作男は病気する
事実18: この具体は病気する

仮説: この作男は悍ましい一方で値下げしない
1. 事実6と事実16から、推論1: "「この作男は悍ましい」ということは成り立つ"が導かれる
2. 事実10と事実8から、推論2: "この作男は値下げしない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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