その食塩不使用は年単位であるということはない
fact1: その朝帰りは年単位だ fact2: もしも何かは膨らまさないならば年単位であるしおまけに癖する fact3: もしその朝帰りは房室ブロックだ一方で膨らまさないとすると「その食塩不使用は膨らまさない」ということは本当だ fact4: あのツァーは膨らます fact5: そのＧ型は様良くない fact6: その朝帰りは癖する fact7: このそつは房室ブロックである fact8: その朝帰りは癖するし膨らます fact9: もしその朝帰りが房室ブロックであるしまた膨らますとしたらその食塩不使用は年単位でない fact10: もし仮に「そのＧ型は房室ブロックだ」ということは間違いでないなら「その朝帰りは房室ブロックだ」ということは成り立つ fact11: そのＧ型は房室ブロックだ fact12: もしなにがしかのものは年単位なら「「癖しないしそれは膨らまさない」ということは確かだ」ということは成り立たない
fact8 -> int1: その朝帰りは膨らます; fact10 & fact11 -> int2: その朝帰りは房室ブロックだ; int1 & int2 -> int3: 「その朝帰りは房室ブロックであるししかも膨らます」ということは本当だ; int3 & fact9 -> hypothesis;
fact8 -> int1: {B}{a}; fact10 & fact11 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); int3 & fact9 -> hypothesis;
あの三日連続は房室ブロックである
fact13 -> int4: もし仮に「その朝帰りは年単位である」ということは事実だとすると「それは癖しなくて更に膨らまさない」ということは成り立たない;
$facts$ = fact1: その朝帰りは年単位だ fact2: もしも何かは膨らまさないならば年単位であるしおまけに癖する fact3: もしその朝帰りは房室ブロックだ一方で膨らまさないとすると「その食塩不使用は膨らまさない」ということは本当だ fact4: あのツァーは膨らます fact5: そのＧ型は様良くない fact6: その朝帰りは癖する fact7: このそつは房室ブロックである fact8: その朝帰りは癖するし膨らます fact9: もしその朝帰りが房室ブロックであるしまた膨らますとしたらその食塩不使用は年単位でない fact10: もし仮に「そのＧ型は房室ブロックだ」ということは間違いでないなら「その朝帰りは房室ブロックだ」ということは成り立つ fact11: そのＧ型は房室ブロックだ fact12: もしなにがしかのものは年単位なら「「癖しないしそれは膨らまさない」ということは確かだ」ということは成り立たない ; $hypothesis$ = その食塩不使用は年単位であるということはない ; $proof$ = 
fact8 -> int1: その朝帰りは膨らます; fact10 & fact11 -> int2: その朝帰りは房室ブロックだ; int1 & int2 -> int3: 「その朝帰りは房室ブロックであるししかも膨らます」ということは本当だ; int3 & fact9 -> hypothesis; __PROVED__
事実1: その朝帰りは年単位だ
事実2: もしも何かは膨らまさないならば年単位であるしおまけに癖する
事実3: もしその朝帰りは房室ブロックだ一方で膨らまさないとすると「その食塩不使用は膨らまさない」ということは本当だ
事実4: あのツァーは膨らます
事実5: そのＧ型は様良くない
事実6: その朝帰りは癖する
事実7: このそつは房室ブロックである
事実8: その朝帰りは癖するし膨らます
事実9: もしその朝帰りが房室ブロックであるしまた膨らますとしたらその食塩不使用は年単位でない
事実10: もし仮に「そのＧ型は房室ブロックだ」ということは間違いでないなら「その朝帰りは房室ブロックだ」ということは成り立つ
事実11: そのＧ型は房室ブロックだ
事実12: もしなにがしかのものは年単位なら「「癖しないしそれは膨らまさない」ということは確かだ」ということは成り立たない

仮説: その食塩不使用は年単位であるということはない
1. 事実8から、推論1: "その朝帰りは膨らます"が導かれる
2. 事実10と事実11から、推論2: "その朝帰りは房室ブロックだ"が導かれる
3. 推論1と推論2から、推論3: "「その朝帰りは房室ブロックであるししかも膨らます」ということは本当だ"が導かれる
4. 推論3と事実9から、仮説が導かれる

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