仮にこの口腔細菌が向かわないかまたはそれは物珍しくないとしたら「この顎はパソコン教室だ」ということは事実だ
fact1: この口腔細菌は向かわないかまたはパソコン教室でないかもしくはどちらもだ fact2: この口腔細菌が向かうということはないとするとこの顎はパソコン教室だ fact3: もし仮にこの口腔細菌が物珍しいということはないかもしくはパソコン教室でないかまたは両方であるならこの顎は向かう fact4: 「この間脳はパソコン教室だ」ということは真実だ fact5: この顎は物珍しい fact6: この顎は向かわないかそれはパソコン教室でない fact7: もしこの口腔細菌がパソコン教室でないとするとこの顎は向かう fact8: 「この口腔細菌は食う」ということは事実だ fact9: もし仮にこの口腔細菌が物珍しくないとするとこの顎はパソコン教室である fact10: もしこの顎が物珍しくないかあるいは向かわないかまたは両方ともだとすれば「この口腔細菌はパソコン教室である」ということは確かだ fact11: その武神はパソコン教室である
void -> assump1: 以下のように仮定する。この口腔細菌は向かわないかまたは物珍しくないかどちらもである; assump1 & fact2 & fact9 -> int1: 「この顎はパソコン教室であるということはない」ということは間違いだ; [assump1] & int1 -> hypothesis;
$facts$ = fact1: この口腔細菌は向かわないかまたはパソコン教室でないかもしくはどちらもだ fact2: この口腔細菌が向かうということはないとするとこの顎はパソコン教室だ fact3: もし仮にこの口腔細菌が物珍しいということはないかもしくはパソコン教室でないかまたは両方であるならこの顎は向かう fact4: 「この間脳はパソコン教室だ」ということは真実だ fact5: この顎は物珍しい fact6: この顎は向かわないかそれはパソコン教室でない fact7: もしこの口腔細菌がパソコン教室でないとするとこの顎は向かう fact8: 「この口腔細菌は食う」ということは事実だ fact9: もし仮にこの口腔細菌が物珍しくないとするとこの顎はパソコン教室である fact10: もしこの顎が物珍しくないかあるいは向かわないかまたは両方ともだとすれば「この口腔細菌はパソコン教室である」ということは確かだ fact11: その武神はパソコン教室である ; $hypothesis$ = 仮にこの口腔細菌が向かわないかまたはそれは物珍しくないとしたら「この顎はパソコン教室だ」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この口腔細菌は向かわないかまたは物珍しくないかどちらもである; assump1 & fact2 & fact9 -> int1: 「この顎はパソコン教室であるということはない」ということは間違いだ; [assump1] & int1 -> hypothesis; __PROVED__
事実1: この口腔細菌は向かわないかまたはパソコン教室でないかもしくはどちらもだ
事実2: この口腔細菌が向かうということはないとするとこの顎はパソコン教室だ
事実3: もし仮にこの口腔細菌が物珍しいということはないかもしくはパソコン教室でないかまたは両方であるならこの顎は向かう
事実4: 「この間脳はパソコン教室だ」ということは真実だ
事実5: この顎は物珍しい
事実6: この顎は向かわないかそれはパソコン教室でない
事実7: もしこの口腔細菌がパソコン教室でないとするとこの顎は向かう
事実8: 「この口腔細菌は食う」ということは事実だ
事実9: もし仮にこの口腔細菌が物珍しくないとするとこの顎はパソコン教室である
事実10: もしこの顎が物珍しくないかあるいは向かわないかまたは両方ともだとすれば「この口腔細菌はパソコン教室である」ということは確かだ
事実11: その武神はパソコン教室である

仮説: 仮にこの口腔細菌が向かわないかまたはそれは物珍しくないとしたら「この顎はパソコン教室だ」ということは事実だ
1. 仮定1: 以下のように仮定する。この口腔細菌は向かわないかまたは物珍しくないかどちらもである
2. 仮定1と事実2と事実9から、推論1: "「この顎はパソコン教室であるということはない」ということは間違いだ"が導かれる
3. [仮定1]と推論1から、仮説が導かれる

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