あのネット受注はブロンズ色であるしプレイ出来る
fact1: あのλツーは堪え兼ねるということはない fact2: あのネット受注はプレイ出来る fact3: この建設大臣はプレイ出来る fact4: もし仮にとある物が堪え兼ねらないとすればあの伝来は古くてそれにブロンズ色だ fact5: もしも何かは妬ましくないとしたら「それはブロンズ色であるしそれはプレイ出来る」ということは成り立たない fact6: その塩浴処理はブロンズ色である fact7: もし仮に妬ましくない物があるとするとこの伝来は早期成立だ fact8: あのネット受注はブロンズ色だ
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
「あのネット受注はブロンズ色でプレイ出来る」ということは真実でない
fact9 -> int1: もしもあのネット受注は妬ましくないならば「それはブロンズ色であるしプレイ出来る」ということは事実と異なる;
$facts$ = fact1: あのλツーは堪え兼ねるということはない fact2: あのネット受注はプレイ出来る fact3: この建設大臣はプレイ出来る fact4: もし仮にとある物が堪え兼ねらないとすればあの伝来は古くてそれにブロンズ色だ fact5: もしも何かは妬ましくないとしたら「それはブロンズ色であるしそれはプレイ出来る」ということは成り立たない fact6: その塩浴処理はブロンズ色である fact7: もし仮に妬ましくない物があるとするとこの伝来は早期成立だ fact8: あのネット受注はブロンズ色だ ; $hypothesis$ = あのネット受注はブロンズ色であるしプレイ出来る ; $proof$ = 
fact8 & fact2 -> hypothesis; __PROVED__
事実1: あのλツーは堪え兼ねるということはない
事実2: あのネット受注はプレイ出来る
事実3: この建設大臣はプレイ出来る
事実4: もし仮にとある物が堪え兼ねらないとすればあの伝来は古くてそれにブロンズ色だ
事実5: もしも何かは妬ましくないとしたら「それはブロンズ色であるしそれはプレイ出来る」ということは成り立たない
事実6: その塩浴処理はブロンズ色である
事実7: もし仮に妬ましくない物があるとするとこの伝来は早期成立だ
事実8: あのネット受注はブロンズ色だ

仮説: あのネット受注はブロンズ色であるしプレイ出来る
1. 事実8と事実2から、仮説が導かれる

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