「仮に私共一人一人でないとすると痛いしまたテレビシリーズでない」ものはある
fact1: その興味は私共一人一人であるとすると痛いけどテレビシリーズでない fact2: もしもその興味は私共一人一人でないとすれば「素っ破抜く」ということは成り立つ fact3: この昨夕は私共一人一人でないならばそれは頬擦りするがしかし書き下ろさない fact4: もし仮になにがしかの物は私共一人一人でないならば痛いしそれにテレビシリーズだ fact5: もし仮にその興味が私共一人一人でないとすればそれは痛い fact6: 「もし仮に私共一人一人であるなら痛いがテレビシリーズでない」ものはある fact7: 「「仮に補助率でないとすると統制するし少なし」物はある」ということは事実だ fact8: 「もし仮に私共一人一人でないとすれば痛い」物はある fact9: もしある物は私共一人一人でないならば痛いけどテレビシリーズでない
fact9 -> int1: その興味が私共一人一人でないとすれば痛いしまたテレビシリーズであるということはない; int1 -> hypothesis;
$facts$ = fact1: その興味は私共一人一人であるとすると痛いけどテレビシリーズでない fact2: もしもその興味は私共一人一人でないとすれば「素っ破抜く」ということは成り立つ fact3: この昨夕は私共一人一人でないならばそれは頬擦りするがしかし書き下ろさない fact4: もし仮になにがしかの物は私共一人一人でないならば痛いしそれにテレビシリーズだ fact5: もし仮にその興味が私共一人一人でないとすればそれは痛い fact6: 「もし仮に私共一人一人であるなら痛いがテレビシリーズでない」ものはある fact7: 「「仮に補助率でないとすると統制するし少なし」物はある」ということは事実だ fact8: 「もし仮に私共一人一人でないとすれば痛い」物はある fact9: もしある物は私共一人一人でないならば痛いけどテレビシリーズでない ; $hypothesis$ = 「仮に私共一人一人でないとすると痛いしまたテレビシリーズでない」ものはある ; $proof$ = 
fact9 -> int1: その興味が私共一人一人でないとすれば痛いしまたテレビシリーズであるということはない; int1 -> hypothesis; __PROVED__
事実1: その興味は私共一人一人であるとすると痛いけどテレビシリーズでない
事実2: もしもその興味は私共一人一人でないとすれば「素っ破抜く」ということは成り立つ
事実3: この昨夕は私共一人一人でないならばそれは頬擦りするがしかし書き下ろさない
事実4: もし仮になにがしかの物は私共一人一人でないならば痛いしそれにテレビシリーズだ
事実5: もし仮にその興味が私共一人一人でないとすればそれは痛い
事実6: 「もし仮に私共一人一人であるなら痛いがテレビシリーズでない」ものはある
事実7: 「「仮に補助率でないとすると統制するし少なし」物はある」ということは事実だ
事実8: 「もし仮に私共一人一人でないとすれば痛い」物はある
事実9: もしある物は私共一人一人でないならば痛いけどテレビシリーズでない

仮説: 「仮に私共一人一人でないとすると痛いしまたテレビシリーズでない」ものはある
1. 事実9から、推論1: "その興味が私共一人一人でないとすれば痛いしまたテレビシリーズであるということはない"が導かれる
2. 推論1から、仮説が導かれる

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