その認知発達は最優先するしおまけに踊り始める
fact1: 「「欠席しない」ということは間違っていない」ものはある fact2: もし仮にこの新宅が踊り始めないしそれにスマートさでないとすればその認知発達は踊り始める fact3: この新宅は踊り始めなくて加えてスマートさでない fact4: もしこの新宅が欠席する一方で呪具でないとすればその認知発達は呪具であるということはない fact5: もしなにがしかのものが呪具でなくておまけに欠席しないならばその認知発達は最優先する fact6: もしあるものは呪具でないなら「最優先するし踊り始める」ということは成り立つということはない fact7: もしその認知発達がスマートさでなくて更に踊り始めないとすればこの新宅はスマートさだ fact8: 何かは呪具でないしおまけに欠席するということはない fact9: その電磁波スモッグ発生源はスマートさでない fact10: この新宅はスマートさでない fact11: もし仮に何かは彫刻するとすればそれは欠席する一方でスマートさでない fact12: このハーブは彫刻する fact13: もしこのハーブが欠席するがしかしスマートさでないならこの新宅は欠席する
fact8 & fact5 -> int1: その認知発達は最優先する; fact3 & fact2 -> int2: その認知発達は踊り始める; int1 & int2 -> hypothesis;
「その認知発達は最優先するししかも踊り始める」ということは偽である
fact16 -> int3: 仮にその認知発達は呪具でないとしたら「それは最優先するしその上踊り始める」ということは誤りである; fact14 -> int4: もしもこのハーブが彫刻すれば欠席するし加えてスマートさでない; int4 & fact15 -> int5: このハーブは欠席するがスマートさでない; fact18 & int5 -> int6: 「この新宅は欠席する」ということは正しい;
$facts$ = fact1: 「「欠席しない」ということは間違っていない」ものはある fact2: もし仮にこの新宅が踊り始めないしそれにスマートさでないとすればその認知発達は踊り始める fact3: この新宅は踊り始めなくて加えてスマートさでない fact4: もしこの新宅が欠席する一方で呪具でないとすればその認知発達は呪具であるということはない fact5: もしなにがしかのものが呪具でなくておまけに欠席しないならばその認知発達は最優先する fact6: もしあるものは呪具でないなら「最優先するし踊り始める」ということは成り立つということはない fact7: もしその認知発達がスマートさでなくて更に踊り始めないとすればこの新宅はスマートさだ fact8: 何かは呪具でないしおまけに欠席するということはない fact9: その電磁波スモッグ発生源はスマートさでない fact10: この新宅はスマートさでない fact11: もし仮に何かは彫刻するとすればそれは欠席する一方でスマートさでない fact12: このハーブは彫刻する fact13: もしこのハーブが欠席するがしかしスマートさでないならこの新宅は欠席する ; $hypothesis$ = その認知発達は最優先するしおまけに踊り始める ; $proof$ = 
fact8 & fact5 -> int1: その認知発達は最優先する; fact3 & fact2 -> int2: その認知発達は踊り始める; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「欠席しない」ということは間違っていない」ものはある
事実2: もし仮にこの新宅が踊り始めないしそれにスマートさでないとすればその認知発達は踊り始める
事実3: この新宅は踊り始めなくて加えてスマートさでない
事実4: もしこの新宅が欠席する一方で呪具でないとすればその認知発達は呪具であるということはない
事実5: もしなにがしかのものが呪具でなくておまけに欠席しないならばその認知発達は最優先する
事実6: もしあるものは呪具でないなら「最優先するし踊り始める」ということは成り立つということはない
事実7: もしその認知発達がスマートさでなくて更に踊り始めないとすればこの新宅はスマートさだ
事実8: 何かは呪具でないしおまけに欠席するということはない
事実9: その電磁波スモッグ発生源はスマートさでない
事実10: この新宅はスマートさでない
事実11: もし仮に何かは彫刻するとすればそれは欠席する一方でスマートさでない
事実12: このハーブは彫刻する
事実13: もしこのハーブが欠席するがしかしスマートさでないならこの新宅は欠席する

仮説: その認知発達は最優先するしおまけに踊り始める
1. 事実8と事実5から、推論1: "その認知発達は最優先する"が導かれる
2. 事実3と事実2から、推論2: "その認知発達は踊り始める"が導かれる
3. 推論1と推論2から、仮説が導かれる

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