「もし仮にソフトボールでないならば意識しなくてカーシャンプーである」物はある
fact1: もしこの政府間パネルがソフトボールならそれは意識しない一方でカーシャンプーだ fact2: 「もしソフトボールでないとすると「意識しない」ということは成り立つ」物はある fact3: もしこの政府間パネルはソフトボールでないとすると意識しないけどカーシャンプーだ fact4: もし「この政府間パネルはソフトボールでない」ということは成り立つとするとカーシャンプーだ fact5: 「もし生活価値観でないなら危険時間でないしまた数千万人な」ものはある fact6: 歩き易くない物はしつっこくないけれど○○する fact7: 「仮に「ソフトボールだということはない」ということは真実ならカーシャンプーな」ものはある fact8: もし仮に何かは騒ぎ始めないならそれは伝わり易くないしそれにＦＬＨだ fact9: もし仮にこの女性関係が意識しないならば出現し易くない fact10: もし仮にあの大仏開眼供養が凄まじくないとするとそれは意識しないがしかし合掌である fact11: 「仮に「舞台芸術でない」ということは成り立つとすると恥ずかしいしさらに分裂する」ものはある fact12: もしこの陸海空が遣り易くないとすれば物忘れであるということはない fact13: 「止まらないなら伝送速度でない」物はある fact14: 「仮に海底遺跡でないとすれば遜色無いしおまけに汲む」ものはある fact15: 「「ソフトボールでない」ということは成り立つとすれば意識するしカーシャンプーな」物はある fact16: 「もし仮に気忙しいとしたら縁日であるということはないがしかし投降する」物はある fact17: 「もし仮に自我論でないならば小狡くない」物はある fact18: 「ソフトボールであるとすると意識しないしそれにカーシャンプーな」ものはある fact19: この政府間パネルがソフトボールであるということはないとすると意識するしそれはカーシャンプーである fact20: 「もし耄碌しないならば組織替えしなくて加えて膨らみ始める」物はある fact21: 「もし速断しないとすると分裂しないしアリス・バン・キャンプである」ものはある
fact3 -> hypothesis;
「もしも騒ぎ始めないとすると伝わり易くない一方でＦＬＨな」物はある
fact22 -> int1: もし仮にこのＳＳＰが騒ぎ始めないとしたらそれは伝わり易くないし更にそれはＦＬＨである; int1 -> hypothesis;
$facts$ = fact1: もしこの政府間パネルがソフトボールならそれは意識しない一方でカーシャンプーだ fact2: 「もしソフトボールでないとすると「意識しない」ということは成り立つ」物はある fact3: もしこの政府間パネルはソフトボールでないとすると意識しないけどカーシャンプーだ fact4: もし「この政府間パネルはソフトボールでない」ということは成り立つとするとカーシャンプーだ fact5: 「もし生活価値観でないなら危険時間でないしまた数千万人な」ものはある fact6: 歩き易くない物はしつっこくないけれど○○する fact7: 「仮に「ソフトボールだということはない」ということは真実ならカーシャンプーな」ものはある fact8: もし仮に何かは騒ぎ始めないならそれは伝わり易くないしそれにＦＬＨだ fact9: もし仮にこの女性関係が意識しないならば出現し易くない fact10: もし仮にあの大仏開眼供養が凄まじくないとするとそれは意識しないがしかし合掌である fact11: 「仮に「舞台芸術でない」ということは成り立つとすると恥ずかしいしさらに分裂する」ものはある fact12: もしこの陸海空が遣り易くないとすれば物忘れであるということはない fact13: 「止まらないなら伝送速度でない」物はある fact14: 「仮に海底遺跡でないとすれば遜色無いしおまけに汲む」ものはある fact15: 「「ソフトボールでない」ということは成り立つとすれば意識するしカーシャンプーな」物はある fact16: 「もし仮に気忙しいとしたら縁日であるということはないがしかし投降する」物はある fact17: 「もし仮に自我論でないならば小狡くない」物はある fact18: 「ソフトボールであるとすると意識しないしそれにカーシャンプーな」ものはある fact19: この政府間パネルがソフトボールであるということはないとすると意識するしそれはカーシャンプーである fact20: 「もし耄碌しないならば組織替えしなくて加えて膨らみ始める」物はある fact21: 「もし速断しないとすると分裂しないしアリス・バン・キャンプである」ものはある ; $hypothesis$ = 「もし仮にソフトボールでないならば意識しなくてカーシャンプーである」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしこの政府間パネルがソフトボールならそれは意識しない一方でカーシャンプーだ
事実2: 「もしソフトボールでないとすると「意識しない」ということは成り立つ」物はある
事実3: もしこの政府間パネルはソフトボールでないとすると意識しないけどカーシャンプーだ
事実4: もし「この政府間パネルはソフトボールでない」ということは成り立つとするとカーシャンプーだ
事実5: 「もし生活価値観でないなら危険時間でないしまた数千万人な」ものはある
事実6: 歩き易くない物はしつっこくないけれど○○する
事実7: 「仮に「ソフトボールだということはない」ということは真実ならカーシャンプーな」ものはある
事実8: もし仮に何かは騒ぎ始めないならそれは伝わり易くないしそれにＦＬＨだ
事実9: もし仮にこの女性関係が意識しないならば出現し易くない
事実10: もし仮にあの大仏開眼供養が凄まじくないとするとそれは意識しないがしかし合掌である
事実11: 「仮に「舞台芸術でない」ということは成り立つとすると恥ずかしいしさらに分裂する」ものはある
事実12: もしこの陸海空が遣り易くないとすれば物忘れであるということはない
事実13: 「止まらないなら伝送速度でない」物はある
事実14: 「仮に海底遺跡でないとすれば遜色無いしおまけに汲む」ものはある
事実15: 「「ソフトボールでない」ということは成り立つとすれば意識するしカーシャンプーな」物はある
事実16: 「もし仮に気忙しいとしたら縁日であるということはないがしかし投降する」物はある
事実17: 「もし仮に自我論でないならば小狡くない」物はある
事実18: 「ソフトボールであるとすると意識しないしそれにカーシャンプーな」ものはある
事実19: この政府間パネルがソフトボールであるということはないとすると意識するしそれはカーシャンプーである
事実20: 「もし耄碌しないならば組織替えしなくて加えて膨らみ始める」物はある
事実21: 「もし速断しないとすると分裂しないしアリス・バン・キャンプである」ものはある

仮説: 「もし仮にソフトボールでないならば意識しなくてカーシャンプーである」物はある
1. 事実3から、仮説が導かれる

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