「あの写生帳は引き易くないがしかしそれはオフタイムである」ということは成り立たない
fact1: 「「ソロモン諸島であるし物々しい」ということは間違っている」ものはある fact2: もしもこの養親が得難しないしおまけに狭苦しくないならその殉教者は引き易くない fact3: もし「「ソロモン諸島で物々しい」ということは偽である」ものはあるとすれば「あの写生帳は狭苦しくない」ということは成り立つ fact4: 「このＨイートは得難しない」ということは真実だ fact5: もしもあるものはノミネートするとしたら「引き易くないけどオフタイムだ」ということは誤っている fact6: あの写生帳は引き易いということはない fact7: もしその殉教者が引き易くないならあの写生帳は引き易くないけれどそれはオフタイムである fact8: 仮にこの養親はノミネートするということはないとすると「得難しないしおまけに狭苦しいということはない」ということは誤っていない fact9: もし仮に「この養親はややこしいけどそれは既定路線でない」ということは成り立たないとしたらノミネートするということはない fact10: それはややこしいけど既定路線でないというものはない fact11: 「「その宋襄はソロモン諸島だしまた得難し」ということは本当である」ということは成り立たない
fact10 -> int1: 「この養親はややこしいけどそれは既定路線でない」ということは間違いである; int1 & fact9 -> int2: この養親はノミネートしない; int2 & fact8 -> int3: この養親は得難しないしおまけに狭苦しくない; int3 & fact2 -> int4: その殉教者は引き易いということはない; int4 & fact7 -> hypothesis;
「あの写生帳は引き易くない一方でオフタイムだ」ということは誤りである
fact12 -> int5: もしもあの写生帳はノミネートするとしたら「それは引き易くないし更にオフタイムだ」ということは誤っている; fact13 -> int6: 「「ソロモン諸島であるしおまけに得難し」ということは成り立たない」ものはある;
$facts$ = fact1: 「「ソロモン諸島であるし物々しい」ということは間違っている」ものはある fact2: もしもこの養親が得難しないしおまけに狭苦しくないならその殉教者は引き易くない fact3: もし「「ソロモン諸島で物々しい」ということは偽である」ものはあるとすれば「あの写生帳は狭苦しくない」ということは成り立つ fact4: 「このＨイートは得難しない」ということは真実だ fact5: もしもあるものはノミネートするとしたら「引き易くないけどオフタイムだ」ということは誤っている fact6: あの写生帳は引き易いということはない fact7: もしその殉教者が引き易くないならあの写生帳は引き易くないけれどそれはオフタイムである fact8: 仮にこの養親はノミネートするということはないとすると「得難しないしおまけに狭苦しいということはない」ということは誤っていない fact9: もし仮に「この養親はややこしいけどそれは既定路線でない」ということは成り立たないとしたらノミネートするということはない fact10: それはややこしいけど既定路線でないというものはない fact11: 「「その宋襄はソロモン諸島だしまた得難し」ということは本当である」ということは成り立たない ; $hypothesis$ = 「あの写生帳は引き易くないがしかしそれはオフタイムである」ということは成り立たない ; $proof$ = 
fact10 -> int1: 「この養親はややこしいけどそれは既定路線でない」ということは間違いである; int1 & fact9 -> int2: この養親はノミネートしない; int2 & fact8 -> int3: この養親は得難しないしおまけに狭苦しくない; int3 & fact2 -> int4: その殉教者は引き易いということはない; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 「「ソロモン諸島であるし物々しい」ということは間違っている」ものはある
事実2: もしもこの養親が得難しないしおまけに狭苦しくないならその殉教者は引き易くない
事実3: もし「「ソロモン諸島で物々しい」ということは偽である」ものはあるとすれば「あの写生帳は狭苦しくない」ということは成り立つ
事実4: 「このＨイートは得難しない」ということは真実だ
事実5: もしもあるものはノミネートするとしたら「引き易くないけどオフタイムだ」ということは誤っている
事実6: あの写生帳は引き易いということはない
事実7: もしその殉教者が引き易くないならあの写生帳は引き易くないけれどそれはオフタイムである
事実8: 仮にこの養親はノミネートするということはないとすると「得難しないしおまけに狭苦しいということはない」ということは誤っていない
事実9: もし仮に「この養親はややこしいけどそれは既定路線でない」ということは成り立たないとしたらノミネートするということはない
事実10: それはややこしいけど既定路線でないというものはない
事実11: 「「その宋襄はソロモン諸島だしまた得難し」ということは本当である」ということは成り立たない

仮説: 「あの写生帳は引き易くないがしかしそれはオフタイムである」ということは成り立たない
1. 事実10から、推論1: "「この養親はややこしいけどそれは既定路線でない」ということは間違いである"が導かれる
2. 推論1と事実9から、推論2: "この養親はノミネートしない"が導かれる
3. 推論2と事実8から、推論3: "この養親は得難しないしおまけに狭苦しくない"が導かれる
4. 推論3と事実2から、推論4: "その殉教者は引き易いということはない"が導かれる
5. 推論4と事実7から、仮説が否定される

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