そのリノレン酸は受精する一方で公告しない
fact1: もし仮にある物は非政治性でないとしたら「公告しないし消去しない」ということは間違いだ fact2: 「あのクランプは障るしおまけにそれは非政治性である」ということは嘘だ fact3: 仮になんらかのものは非政治性でないならばそれは消去するしまた公告する fact4: そのリノレン酸は消去する fact5: あの補聴は消去する fact6: 「そのリノレン酸は着易いしその上低予算だ」ということは成り立たない fact7: もしそのリノレン酸が消去すればそれは受精する fact8: もしあのクランプが届き易いとすると障る fact9: あのクランプは育て易い fact10: もしも「そのリノレン酸は着易いししかもそれは低予算だ」ということは偽だとするとそれは公告しない fact11: あのクランプが育て易くてまた障るとすればこの斬奸状は非政治性でない
fact10 & fact6 -> int1: そのリノレン酸は公告しない; fact7 & fact4 -> int2: そのリノレン酸は受精する; int1 & int2 -> hypothesis;
「そのリノレン酸は受精するがしかし公告しない」ということは嘘である
fact12 -> int3: 「仮にこの斬奸状が非政治性でないならばこの斬奸状は消去するし加えて公告する」ということは正しい; fact13 -> int4: 「「障るしそれに非政治性だ」ということは誤っている」物はある;
$facts$ = fact1: もし仮にある物は非政治性でないとしたら「公告しないし消去しない」ということは間違いだ fact2: 「あのクランプは障るしおまけにそれは非政治性である」ということは嘘だ fact3: 仮になんらかのものは非政治性でないならばそれは消去するしまた公告する fact4: そのリノレン酸は消去する fact5: あの補聴は消去する fact6: 「そのリノレン酸は着易いしその上低予算だ」ということは成り立たない fact7: もしそのリノレン酸が消去すればそれは受精する fact8: もしあのクランプが届き易いとすると障る fact9: あのクランプは育て易い fact10: もしも「そのリノレン酸は着易いししかもそれは低予算だ」ということは偽だとするとそれは公告しない fact11: あのクランプが育て易くてまた障るとすればこの斬奸状は非政治性でない ; $hypothesis$ = そのリノレン酸は受精する一方で公告しない ; $proof$ = 
fact10 & fact6 -> int1: そのリノレン酸は公告しない; fact7 & fact4 -> int2: そのリノレン酸は受精する; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にある物は非政治性でないとしたら「公告しないし消去しない」ということは間違いだ
事実2: 「あのクランプは障るしおまけにそれは非政治性である」ということは嘘だ
事実3: 仮になんらかのものは非政治性でないならばそれは消去するしまた公告する
事実4: そのリノレン酸は消去する
事実5: あの補聴は消去する
事実6: 「そのリノレン酸は着易いしその上低予算だ」ということは成り立たない
事実7: もしそのリノレン酸が消去すればそれは受精する
事実8: もしあのクランプが届き易いとすると障る
事実9: あのクランプは育て易い
事実10: もしも「そのリノレン酸は着易いししかもそれは低予算だ」ということは偽だとするとそれは公告しない
事実11: あのクランプが育て易くてまた障るとすればこの斬奸状は非政治性でない

仮説: そのリノレン酸は受精する一方で公告しない
1. 事実10と事実6から、推論1: "そのリノレン酸は公告しない"が導かれる
2. 事実7と事実4から、推論2: "そのリノレン酸は受精する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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