そのウィンドウズは立ち寄れるかまたは涙脆いかあるいはどちらもである
fact1: もしあの遠隔医療システムが興奮し易いとするとそれはポストスクリプトフォントだ fact2: そのウィンドウズは立ち寄れるしさらに家屋改造だ fact3: 仮になんらかの物が整形外科医であるならそれが公正証書だということはないしさらにそれは家屋改造である fact4: ポストスクリプトフォントは整形外科医である fact5: 仮にとある物は公正証書でないならそれは涙脆いしまた整形外科医である fact6: もしもそのウィンドウズは涙脆いとすると「このクローン病は家屋改造だ」ということは真実である fact7: もし仮になにかは家屋改造でないとしたら「立ち寄れるかもしくは涙脆いかあるいは両方だ」ということは間違いである fact8: もしなんらかのものは家屋改造であるとすればそれは立ち寄れる fact9: もし仮にあの遠隔医療システムが公正証書でないがしかし家屋改造だとしたらそのウィンドウズは家屋改造でない
fact2 -> int1: そのウィンドウズは立ち寄れる; int1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> hypothesis;
「このクローン病はセント・キラリー家であるかまたはそれは立ち寄れる」ということは本当である
fact11 -> int2: 仮にこのクローン病が家屋改造だとしたらそれは立ち寄れる; fact12 -> int3: そのウィンドウズが公正証書だということはないとしたらそれは涙脆くてさらに整形外科医だ;
$facts$ = fact1: もしあの遠隔医療システムが興奮し易いとするとそれはポストスクリプトフォントだ fact2: そのウィンドウズは立ち寄れるしさらに家屋改造だ fact3: 仮になんらかの物が整形外科医であるならそれが公正証書だということはないしさらにそれは家屋改造である fact4: ポストスクリプトフォントは整形外科医である fact5: 仮にとある物は公正証書でないならそれは涙脆いしまた整形外科医である fact6: もしもそのウィンドウズは涙脆いとすると「このクローン病は家屋改造だ」ということは真実である fact7: もし仮になにかは家屋改造でないとしたら「立ち寄れるかもしくは涙脆いかあるいは両方だ」ということは間違いである fact8: もしなんらかのものは家屋改造であるとすればそれは立ち寄れる fact9: もし仮にあの遠隔医療システムが公正証書でないがしかし家屋改造だとしたらそのウィンドウズは家屋改造でない ; $hypothesis$ = そのウィンドウズは立ち寄れるかまたは涙脆いかあるいはどちらもである ; $proof$ = 
fact2 -> int1: そのウィンドウズは立ち寄れる; int1 -> hypothesis; __PROVED__
事実1: もしあの遠隔医療システムが興奮し易いとするとそれはポストスクリプトフォントだ
事実2: そのウィンドウズは立ち寄れるしさらに家屋改造だ
事実3: 仮になんらかの物が整形外科医であるならそれが公正証書だということはないしさらにそれは家屋改造である
事実4: ポストスクリプトフォントは整形外科医である
事実5: 仮にとある物は公正証書でないならそれは涙脆いしまた整形外科医である
事実6: もしもそのウィンドウズは涙脆いとすると「このクローン病は家屋改造だ」ということは真実である
事実7: もし仮になにかは家屋改造でないとしたら「立ち寄れるかもしくは涙脆いかあるいは両方だ」ということは間違いである
事実8: もしなんらかのものは家屋改造であるとすればそれは立ち寄れる
事実9: もし仮にあの遠隔医療システムが公正証書でないがしかし家屋改造だとしたらそのウィンドウズは家屋改造でない

仮説: そのウィンドウズは立ち寄れるかまたは涙脆いかあるいはどちらもである
1. 事実2から、推論1: "そのウィンドウズは立ち寄れる"が導かれる
2. 推論1から、仮説が導かれる

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