この数君は謝絶しない
fact1: 仮に「その氷嚢は非合理性でなくてそれは口汚いということはない」ということは事実だとするとそれは疑問視しない fact2: そのモー会郡生まれは低過ぎる fact3: もしもそのチーム参加は隠し通さないけど転売目的だとしたらその氷嚢はまどろっこしくらない fact4: もし仮に「そのチーム参加は隠し通さないがしかし転売目的である」ということは成り立たないとすればそのモー会郡生まれは低過ぎない fact5: その経常外収益は低過ぎる fact6: その氷嚢は非合理性でないししかもそれは口汚くない fact7: とあるものがまどろっこしくらなくて疑問視しないとすればこの数君は謝絶しない
void -> assump1: 以下のように仮定する。「そのチーム参加は隠し通さないけれど転売目的だ」ということは嘘である; fact4 & assump1 -> int1: そのモー会郡生まれは低過ぎない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのチーム参加は隠し通さないけれど転売目的だ; int3 & fact3 -> int4: その氷嚢はまどろっこしくらない; fact6 & fact1 -> int5: その氷嚢は疑問視するということはない; int4 & int5 -> int6: その氷嚢はまどろっこしくらないし加えて疑問視しない; int6 -> int7: ある物はまどろっこしくらなくてその上疑問視しない; int7 & fact7 -> hypothesis;
$facts$ = fact1: 仮に「その氷嚢は非合理性でなくてそれは口汚いということはない」ということは事実だとするとそれは疑問視しない fact2: そのモー会郡生まれは低過ぎる fact3: もしもそのチーム参加は隠し通さないけど転売目的だとしたらその氷嚢はまどろっこしくらない fact4: もし仮に「そのチーム参加は隠し通さないがしかし転売目的である」ということは成り立たないとすればそのモー会郡生まれは低過ぎない fact5: その経常外収益は低過ぎる fact6: その氷嚢は非合理性でないししかもそれは口汚くない fact7: とあるものがまどろっこしくらなくて疑問視しないとすればこの数君は謝絶しない ; $hypothesis$ = この数君は謝絶しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのチーム参加は隠し通さないけれど転売目的だ」ということは嘘である; fact4 & assump1 -> int1: そのモー会郡生まれは低過ぎない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのチーム参加は隠し通さないけれど転売目的だ; int3 & fact3 -> int4: その氷嚢はまどろっこしくらない; fact6 & fact1 -> int5: その氷嚢は疑問視するということはない; int4 & int5 -> int6: その氷嚢はまどろっこしくらないし加えて疑問視しない; int6 -> int7: ある物はまどろっこしくらなくてその上疑問視しない; int7 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「その氷嚢は非合理性でなくてそれは口汚いということはない」ということは事実だとするとそれは疑問視しない
事実2: そのモー会郡生まれは低過ぎる
事実3: もしもそのチーム参加は隠し通さないけど転売目的だとしたらその氷嚢はまどろっこしくらない
事実4: もし仮に「そのチーム参加は隠し通さないがしかし転売目的である」ということは成り立たないとすればそのモー会郡生まれは低過ぎない
事実5: その経常外収益は低過ぎる
事実6: その氷嚢は非合理性でないししかもそれは口汚くない
事実7: とあるものがまどろっこしくらなくて疑問視しないとすればこの数君は謝絶しない

仮説: この数君は謝絶しない
1. 仮定1: 以下のように仮定する。「そのチーム参加は隠し通さないけれど転売目的だ」ということは嘘である
2. 事実4と仮定1から、推論1: "そのモー会郡生まれは低過ぎない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのチーム参加は隠し通さないけれど転売目的だ"が導かれる
5. 推論3と事実3から、推論4: "その氷嚢はまどろっこしくらない"が導かれる
6. 事実6と事実1から、推論5: "その氷嚢は疑問視するということはない"が導かれる
7. 推論4と推論5から、推論6: "その氷嚢はまどろっこしくらないし加えて疑問視しない"が導かれる
8. 推論6から、推論7: "ある物はまどろっこしくらなくてその上疑問視しない"が導かれる
9. 推論7と事実7から、仮説が導かれる

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