その一メートル半は不安定さだ
fact1: もしもその一メートル半が心深くないとすればそれは慈愛深い一方でシーズ・リービング・ホームでない fact2: その一メートル半は力無くない fact3: とある物は打ち易いし百俵プロジェクトならそれは不安定さでない fact4: 仮にその一メートル半は慈愛深いししかもシーズ・リービング・ホームだとしたらそれは打ち易い fact5: 「その一メートル半は心深くない」ということは本当である fact6: もしその一メートル半が力無くないとすればそれが百俵プロジェクトだし準備する fact7: 慈愛深いものはシーズ・リービング・ホームでないならそれは打ち易い fact8: その一メートル半は癒し難くて割れ難い
fact1 & fact5 -> int1: その一メートル半は慈愛深いけどそれはシーズ・リービング・ホームでない; fact7 -> int2: もしその一メートル半が慈愛深い一方でそれはシーズ・リービング・ホームでないとすると打ち易い; int1 & int2 -> int3: その一メートル半は打ち易い; fact2 & fact6 -> int4: その一メートル半が百俵プロジェクトだしその上準備する; int4 -> int5: その一メートル半は百俵プロジェクトだ; int3 & int5 -> int6: その一メートル半は打ち易くてそれに百俵プロジェクトである; fact3 -> int7: もしその一メートル半が打ち易くておまけに百俵プロジェクトであるとしたらそれは不安定さでない; int6 & int7 -> hypothesis;
$facts$ = fact1: もしもその一メートル半が心深くないとすればそれは慈愛深い一方でシーズ・リービング・ホームでない fact2: その一メートル半は力無くない fact3: とある物は打ち易いし百俵プロジェクトならそれは不安定さでない fact4: 仮にその一メートル半は慈愛深いししかもシーズ・リービング・ホームだとしたらそれは打ち易い fact5: 「その一メートル半は心深くない」ということは本当である fact6: もしその一メートル半が力無くないとすればそれが百俵プロジェクトだし準備する fact7: 慈愛深いものはシーズ・リービング・ホームでないならそれは打ち易い fact8: その一メートル半は癒し難くて割れ難い ; $hypothesis$ = その一メートル半は不安定さだ ; $proof$ = 
fact1 & fact5 -> int1: その一メートル半は慈愛深いけどそれはシーズ・リービング・ホームでない; fact7 -> int2: もしその一メートル半が慈愛深い一方でそれはシーズ・リービング・ホームでないとすると打ち易い; int1 & int2 -> int3: その一メートル半は打ち易い; fact2 & fact6 -> int4: その一メートル半が百俵プロジェクトだしその上準備する; int4 -> int5: その一メートル半は百俵プロジェクトだ; int3 & int5 -> int6: その一メートル半は打ち易くてそれに百俵プロジェクトである; fact3 -> int7: もしその一メートル半が打ち易くておまけに百俵プロジェクトであるとしたらそれは不安定さでない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしもその一メートル半が心深くないとすればそれは慈愛深い一方でシーズ・リービング・ホームでない
事実2: その一メートル半は力無くない
事実3: とある物は打ち易いし百俵プロジェクトならそれは不安定さでない
事実4: 仮にその一メートル半は慈愛深いししかもシーズ・リービング・ホームだとしたらそれは打ち易い
事実5: 「その一メートル半は心深くない」ということは本当である
事実6: もしその一メートル半が力無くないとすればそれが百俵プロジェクトだし準備する
事実7: 慈愛深いものはシーズ・リービング・ホームでないならそれは打ち易い
事実8: その一メートル半は癒し難くて割れ難い

仮説: その一メートル半は不安定さだ
1. 事実1と事実5から、推論1: "その一メートル半は慈愛深いけどそれはシーズ・リービング・ホームでない"が導かれる
2. 事実7から、推論2: "もしその一メートル半が慈愛深い一方でそれはシーズ・リービング・ホームでないとすると打ち易い"が導かれる
3. 推論1と推論2から、推論3: "その一メートル半は打ち易い"が導かれる
4. 事実2と事実6から、推論4: "その一メートル半が百俵プロジェクトだしその上準備する"が導かれる
5. 推論4から、推論5: "その一メートル半は百俵プロジェクトだ"が導かれる
6. 推論3と推論5から、推論6: "その一メートル半は打ち易くてそれに百俵プロジェクトである"が導かれる
7. 事実3から、推論7: "もしその一メートル半が打ち易くておまけに百俵プロジェクトであるとしたらそれは不安定さでない"が導かれる
8. 推論6と推論7から、仮説が否定される

よって、仮説が否定されました。