このＥＰＳファイルは男子達である
fact1: 「「特定出来るししかも喜ばしい」ということは成り立たない」物はある fact2: もし「「白っぽいし程近い」ということは確かであるということはない」物があるならあの施設介護サービス費は特定出来る fact3: 「「「特定出来るしかつ喜ばしい」ということは正しい」ということは成り立たない」ものがあるならばあのＥＰＳファイルは男子達だ fact4: 「「喜ばしくてさらに読み終える」ということは間違いな」物があるならこのＥＰＳファイルは放冷する fact5: もし仮に何かは思い上がれば男子達でない fact6: もしも「男子達でない」物はあるなら「その結跏趺坐は軟らかい」ということは真実である
fact1 & fact3 -> hypothesis;
このＥＰＳファイルは男子達でない
fact7 -> int1: 仮にこのＥＰＳファイルが思い上がるとすると男子達でない;
$facts$ = fact1: 「「特定出来るししかも喜ばしい」ということは成り立たない」物はある fact2: もし「「白っぽいし程近い」ということは確かであるということはない」物があるならあの施設介護サービス費は特定出来る fact3: 「「「特定出来るしかつ喜ばしい」ということは正しい」ということは成り立たない」ものがあるならばあのＥＰＳファイルは男子達だ fact4: 「「喜ばしくてさらに読み終える」ということは間違いな」物があるならこのＥＰＳファイルは放冷する fact5: もし仮に何かは思い上がれば男子達でない fact6: もしも「男子達でない」物はあるなら「その結跏趺坐は軟らかい」ということは真実である ; $hypothesis$ = このＥＰＳファイルは男子達である ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: 「「特定出来るししかも喜ばしい」ということは成り立たない」物はある
事実2: もし「「白っぽいし程近い」ということは確かであるということはない」物があるならあの施設介護サービス費は特定出来る
事実3: 「「「特定出来るしかつ喜ばしい」ということは正しい」ということは成り立たない」ものがあるならばあのＥＰＳファイルは男子達だ
事実4: 「「喜ばしくてさらに読み終える」ということは間違いな」物があるならこのＥＰＳファイルは放冷する
事実5: もし仮に何かは思い上がれば男子達でない
事実6: もしも「男子達でない」物はあるなら「その結跏趺坐は軟らかい」ということは真実である

仮説: このＥＰＳファイルは男子達である
1. 事実1と事実3から、仮説が導かれる

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