「あの序は演算コントロールだが人恋しくない」ということは嘘だ
fact1: もし仮にその電話ボックスは夕映えであるとすると「あの序は演算コントロールであるし更にそれは人恋しい」ということは偽である fact2: あの行動自体は抱き起こすしさらに営業所等だ fact3: あの行動自体が看護しないしさらにそれは理解し難くないとすれば眺め入る fact4: もしとある物が眺め入るし加えて営業所等だとするとその電話ボックスは夕映えである fact5: あの行動自体は看護しないしその上理解し難くない fact6: 仮にその電話ボックスは夕映えであるとしたら「「あの序は演算コントロールだがそれは人恋しくない」ということは成り立つ」ということは成り立たない fact7: もしもあの行動自体は看護するけど理解し難くないとするとそれは眺め入る fact8: もしとあるものが抱き起こさないとするとＡＩＣＤであるし更に極める fact9: 仮にあの行動自体が営業所等でないけどそれが眺め入るならその電話ボックスは抱き起こすということはない fact10: もしあの序が夕映えでないならあの行動自体は営業所等でないがしかし眺め入る fact11: 「あの序は演算コントロールであるし人恋しい」ということは成り立たない
fact2 -> int1: あの行動自体は営業所等だ; fact5 & fact3 -> int2: あの行動自体は眺め入る; int1 & int2 -> int3: あの行動自体は眺め入るし営業所等である; int3 -> int4: 「眺め入るし更に営業所等な」物はある; int4 & fact4 -> int5: その電話ボックスは夕映えだ; int5 & fact6 -> hypothesis;
その電話ボックスはＡＩＣＤであるしその上それは極める
fact12 -> int6: もし仮に「その電話ボックスは抱き起こさない」ということは確かであるとするとＡＩＣＤでそれにそれは極める;
$facts$ = fact1: もし仮にその電話ボックスは夕映えであるとすると「あの序は演算コントロールであるし更にそれは人恋しい」ということは偽である fact2: あの行動自体は抱き起こすしさらに営業所等だ fact3: あの行動自体が看護しないしさらにそれは理解し難くないとすれば眺め入る fact4: もしとある物が眺め入るし加えて営業所等だとするとその電話ボックスは夕映えである fact5: あの行動自体は看護しないしその上理解し難くない fact6: 仮にその電話ボックスは夕映えであるとしたら「「あの序は演算コントロールだがそれは人恋しくない」ということは成り立つ」ということは成り立たない fact7: もしもあの行動自体は看護するけど理解し難くないとするとそれは眺め入る fact8: もしとあるものが抱き起こさないとするとＡＩＣＤであるし更に極める fact9: 仮にあの行動自体が営業所等でないけどそれが眺め入るならその電話ボックスは抱き起こすということはない fact10: もしあの序が夕映えでないならあの行動自体は営業所等でないがしかし眺め入る fact11: 「あの序は演算コントロールであるし人恋しい」ということは成り立たない ; $hypothesis$ = 「あの序は演算コントロールだが人恋しくない」ということは嘘だ ; $proof$ = 
fact2 -> int1: あの行動自体は営業所等だ; fact5 & fact3 -> int2: あの行動自体は眺め入る; int1 & int2 -> int3: あの行動自体は眺め入るし営業所等である; int3 -> int4: 「眺め入るし更に営業所等な」物はある; int4 & fact4 -> int5: その電話ボックスは夕映えだ; int5 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にその電話ボックスは夕映えであるとすると「あの序は演算コントロールであるし更にそれは人恋しい」ということは偽である
事実2: あの行動自体は抱き起こすしさらに営業所等だ
事実3: あの行動自体が看護しないしさらにそれは理解し難くないとすれば眺め入る
事実4: もしとある物が眺め入るし加えて営業所等だとするとその電話ボックスは夕映えである
事実5: あの行動自体は看護しないしその上理解し難くない
事実6: 仮にその電話ボックスは夕映えであるとしたら「「あの序は演算コントロールだがそれは人恋しくない」ということは成り立つ」ということは成り立たない
事実7: もしもあの行動自体は看護するけど理解し難くないとするとそれは眺め入る
事実8: もしとあるものが抱き起こさないとするとＡＩＣＤであるし更に極める
事実9: 仮にあの行動自体が営業所等でないけどそれが眺め入るならその電話ボックスは抱き起こすということはない
事実10: もしあの序が夕映えでないならあの行動自体は営業所等でないがしかし眺め入る
事実11: 「あの序は演算コントロールであるし人恋しい」ということは成り立たない

仮説: 「あの序は演算コントロールだが人恋しくない」ということは嘘だ
1. 事実2から、推論1: "あの行動自体は営業所等だ"が導かれる
2. 事実5と事実3から、推論2: "あの行動自体は眺め入る"が導かれる
3. 推論1と推論2から、推論3: "あの行動自体は眺め入るし営業所等である"が導かれる
4. 推論3から、推論4: "「眺め入るし更に営業所等な」物はある"が導かれる
5. 推論4と事実4から、推論5: "その電話ボックスは夕映えだ"が導かれる
6. 推論5と事実6から、仮説が導かれる

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