「あの遺品は取っ組み合わない」ということは事実と異ならない
fact1: 「あの新入生は流され易くない」ということは正しい fact2: あの遺品は盤踞する fact3: なにかは流され易くないならばそれは取っ組み合う fact4: もし仮にその基本的視点は欲深いとすれば「良くない」ということは確かだ fact5: もしもその各グラフはキッチンセットでないとすれば「あの遺品は揃い過ぎるし投与す」ということは偽だ fact6: 仮に何かは取っ組み合うかまたはそれは揃い過ぎないかまたは両方ともであるならばそれは取っ組み合う fact7: 仮にあの遺品が流され易いとすると取っ組み合わない fact8: 「あの遺品は忘る」ということは確かである fact9: あの遺品は流され易い fact10: 「この御節は取っ組み合う」ということは正しい fact11: もし仮に「あの遺品は揃い過ぎるし加えて投与す」ということは成り立たないならばあの郊外電車は流され易くない fact12: 「もしも「あの遺品は刳り抜く」ということは本当であるならばあの遺品は無声化し易くない」ということは真実である
fact7 & fact9 -> hypothesis;
fact7 & fact9 -> hypothesis;
「あの遺品は取っ組み合う」ということは誤りでない
fact13 -> int1: もし仮にあの遺品が取っ組み合うかまたはそれは揃い過ぎないかまたは両方だとすれば取っ組み合う;
$facts$ = fact1: 「あの新入生は流され易くない」ということは正しい fact2: あの遺品は盤踞する fact3: なにかは流され易くないならばそれは取っ組み合う fact4: もし仮にその基本的視点は欲深いとすれば「良くない」ということは確かだ fact5: もしもその各グラフはキッチンセットでないとすれば「あの遺品は揃い過ぎるし投与す」ということは偽だ fact6: 仮に何かは取っ組み合うかまたはそれは揃い過ぎないかまたは両方ともであるならばそれは取っ組み合う fact7: 仮にあの遺品が流され易いとすると取っ組み合わない fact8: 「あの遺品は忘る」ということは確かである fact9: あの遺品は流され易い fact10: 「この御節は取っ組み合う」ということは正しい fact11: もし仮に「あの遺品は揃い過ぎるし加えて投与す」ということは成り立たないならばあの郊外電車は流され易くない fact12: 「もしも「あの遺品は刳り抜く」ということは本当であるならばあの遺品は無声化し易くない」ということは真実である ; $hypothesis$ = 「あの遺品は取っ組み合わない」ということは事実と異ならない ; $proof$ = 
fact7 & fact9 -> hypothesis; __PROVED__
事実1: 「あの新入生は流され易くない」ということは正しい
事実2: あの遺品は盤踞する
事実3: なにかは流され易くないならばそれは取っ組み合う
事実4: もし仮にその基本的視点は欲深いとすれば「良くない」ということは確かだ
事実5: もしもその各グラフはキッチンセットでないとすれば「あの遺品は揃い過ぎるし投与す」ということは偽だ
事実6: 仮に何かは取っ組み合うかまたはそれは揃い過ぎないかまたは両方ともであるならばそれは取っ組み合う
事実7: 仮にあの遺品が流され易いとすると取っ組み合わない
事実8: 「あの遺品は忘る」ということは確かである
事実9: あの遺品は流され易い
事実10: 「この御節は取っ組み合う」ということは正しい
事実11: もし仮に「あの遺品は揃い過ぎるし加えて投与す」ということは成り立たないならばあの郊外電車は流され易くない
事実12: 「もしも「あの遺品は刳り抜く」ということは本当であるならばあの遺品は無声化し易くない」ということは真実である

仮説: 「あの遺品は取っ組み合わない」ということは事実と異ならない
1. 事実7と事実9から、仮説が導かれる

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