その防声具は図案化するしそれにファルシだ
fact1: その防声具は仕事するししかも叫び返す fact2: もしとある物が離るないなら図案化する fact3: 「その防声具はファルシである」ということは事実と異ならない fact4: もし仮になんらかのものは仕事するし更に叫び返すとしたら離るない
fact4 -> int1: その防声具は仕事するし叫び返すとすると離るない; int1 & fact1 -> int2: その防声具は離るない; fact2 -> int3: もしその防声具が離るということはないとするとそれは図案化する; int2 & int3 -> int4: 「その防声具は図案化する」ということは正しい; int4 & fact3 -> hypothesis;
$facts$ = fact1: その防声具は仕事するししかも叫び返す fact2: もしとある物が離るないなら図案化する fact3: 「その防声具はファルシである」ということは事実と異ならない fact4: もし仮になんらかのものは仕事するし更に叫び返すとしたら離るない ; $hypothesis$ = その防声具は図案化するしそれにファルシだ ; $proof$ = 
fact4 -> int1: その防声具は仕事するし叫び返すとすると離るない; int1 & fact1 -> int2: その防声具は離るない; fact2 -> int3: もしその防声具が離るということはないとするとそれは図案化する; int2 & int3 -> int4: 「その防声具は図案化する」ということは正しい; int4 & fact3 -> hypothesis; __PROVED__
事実1: その防声具は仕事するししかも叫び返す
事実2: もしとある物が離るないなら図案化する
事実3: 「その防声具はファルシである」ということは事実と異ならない
事実4: もし仮になんらかのものは仕事するし更に叫び返すとしたら離るない

仮説: その防声具は図案化するしそれにファルシだ
1. 事実4から、推論1: "その防声具は仕事するし叫び返すとすると離るない"が導かれる
2. 推論1と事実1から、推論2: "その防声具は離るない"が導かれる
3. 事実2から、推論3: "もしその防声具が離るということはないとするとそれは図案化する"が導かれる
4. 推論2と推論3から、推論4: "「その防声具は図案化する」ということは正しい"が導かれる
5. 推論4と事実3から、仮説が導かれる

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