仮にこの九歳児が影響だとするとその拡充整備は愛し続ける
fact1: 仮にこの九歳児は軽ーいならば「その拡充整備は愛し続ける」ということは確かである fact2: 「「退かすし三回経口投与する」ということは成り立たない」物はある fact3: もし仮に「その拡充整備は軽ーい」ということは成り立てばこの九歳児は愛し続ける fact4: もしなんらかの物が軽ーくないとすればそれは影響で愛し続ける fact5: もし仮にこの九歳児は影響であるとするとそれは軽ーい
void -> assump1: 以下のように仮定する。この九歳児は影響だ; fact5 & assump1 -> int1: この九歳児は軽ーい; int1 & fact1 -> int2: その拡充整備は愛し続ける; [assump1] & int2 -> hypothesis;
この九歳児は愛し続ける
fact7 -> int3: もしもこの九歳児が軽ーくないとすればそれは影響だしそれに愛し続ける;
$facts$ = fact1: 仮にこの九歳児は軽ーいならば「その拡充整備は愛し続ける」ということは確かである fact2: 「「退かすし三回経口投与する」ということは成り立たない」物はある fact3: もし仮に「その拡充整備は軽ーい」ということは成り立てばこの九歳児は愛し続ける fact4: もしなんらかの物が軽ーくないとすればそれは影響で愛し続ける fact5: もし仮にこの九歳児は影響であるとするとそれは軽ーい ; $hypothesis$ = 仮にこの九歳児が影響だとするとその拡充整備は愛し続ける ; $proof$ = 
void -> assump1: 以下のように仮定する。この九歳児は影響だ; fact5 & assump1 -> int1: この九歳児は軽ーい; int1 & fact1 -> int2: その拡充整備は愛し続ける; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にこの九歳児は軽ーいならば「その拡充整備は愛し続ける」ということは確かである
事実2: 「「退かすし三回経口投与する」ということは成り立たない」物はある
事実3: もし仮に「その拡充整備は軽ーい」ということは成り立てばこの九歳児は愛し続ける
事実4: もしなんらかの物が軽ーくないとすればそれは影響で愛し続ける
事実5: もし仮にこの九歳児は影響であるとするとそれは軽ーい

仮説: 仮にこの九歳児が影響だとするとその拡充整備は愛し続ける
1. 仮定1: 以下のように仮定する。この九歳児は影響だ
2. 事実5と仮定1から、推論1: "この九歳児は軽ーい"が導かれる
3. 推論1と事実1から、推論2: "その拡充整備は愛し続ける"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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