その創生水はトイレ対応であるしかつ睦まじい
fact1: もしも何らかの物が差し招けば鎮火する fact2: その創生水が鎮火するしその上差し招く fact3: もし「「無謀さでない」ということは本当である」ものがあるとしたらあの順編成ファイルはインテリ達だ fact4: 「無謀さな」物はある fact5: もし仮にあの順編成ファイルがインテリ達だとするとその創生水はトイレ対応である fact6: もし何らかの物は鎮火するけれどインテリ達であるということはないとしたら無謀さでない fact7: もし仮になんらかのものが鎮火するとすると睦まじい fact8: その創生水は無謀さである fact9: 何かは無謀さでない fact10: 仮にあの順編成ファイルは無謀さでないとすると「その創生水はトイレ対応でまたそれは睦まじい」ということは成り立たない
fact9 & fact3 -> int1: あの順編成ファイルはインテリ達である; int1 & fact5 -> int2: その創生水はトイレ対応である; fact7 -> int3: もしもその創生水が鎮火するとすればそれは睦まじい; fact2 -> int4: その創生水は鎮火する; int3 & int4 -> int5: その創生水は睦まじい; int2 & int5 -> hypothesis;
fact9 & fact3 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; fact7 -> int3: {E}{b} -> {D}{b}; fact2 -> int4: {E}{b}; int3 & int4 -> int5: {D}{b}; int2 & int5 -> hypothesis;
「その創生水はトイレ対応だししかも睦まじい」ということは成り立つということはない
fact12 -> int6: あの順編成ファイルは鎮火する一方でインテリ達でないとすれば無謀さでない; fact11 -> int7: あの順編成ファイルが差し招くならそれは鎮火する;
$facts$ = fact1: もしも何らかの物が差し招けば鎮火する fact2: その創生水が鎮火するしその上差し招く fact3: もし「「無謀さでない」ということは本当である」ものがあるとしたらあの順編成ファイルはインテリ達だ fact4: 「無謀さな」物はある fact5: もし仮にあの順編成ファイルがインテリ達だとするとその創生水はトイレ対応である fact6: もし何らかの物は鎮火するけれどインテリ達であるということはないとしたら無謀さでない fact7: もし仮になんらかのものが鎮火するとすると睦まじい fact8: その創生水は無謀さである fact9: 何かは無謀さでない fact10: 仮にあの順編成ファイルは無謀さでないとすると「その創生水はトイレ対応でまたそれは睦まじい」ということは成り立たない ; $hypothesis$ = その創生水はトイレ対応であるしかつ睦まじい ; $proof$ = 
fact9 & fact3 -> int1: あの順編成ファイルはインテリ達である; int1 & fact5 -> int2: その創生水はトイレ対応である; fact7 -> int3: もしもその創生水が鎮火するとすればそれは睦まじい; fact2 -> int4: その創生水は鎮火する; int3 & int4 -> int5: その創生水は睦まじい; int2 & int5 -> hypothesis; __PROVED__
事実1: もしも何らかの物が差し招けば鎮火する
事実2: その創生水が鎮火するしその上差し招く
事実3: もし「「無謀さでない」ということは本当である」ものがあるとしたらあの順編成ファイルはインテリ達だ
事実4: 「無謀さな」物はある
事実5: もし仮にあの順編成ファイルがインテリ達だとするとその創生水はトイレ対応である
事実6: もし何らかの物は鎮火するけれどインテリ達であるということはないとしたら無謀さでない
事実7: もし仮になんらかのものが鎮火するとすると睦まじい
事実8: その創生水は無謀さである
事実9: 何かは無謀さでない
事実10: 仮にあの順編成ファイルは無謀さでないとすると「その創生水はトイレ対応でまたそれは睦まじい」ということは成り立たない

仮説: その創生水はトイレ対応であるしかつ睦まじい
1. 事実9と事実3から、推論1: "あの順編成ファイルはインテリ達である"が導かれる
2. 推論1と事実5から、推論2: "その創生水はトイレ対応である"が導かれる
3. 事実7から、推論3: "もしもその創生水が鎮火するとすればそれは睦まじい"が導かれる
4. 事実2から、推論4: "その創生水は鎮火する"が導かれる
5. 推論3と推論4から、推論5: "その創生水は睦まじい"が導かれる
6. 推論2と推論5から、仮説が導かれる

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