あの余熱は届け出しない
fact1: なにがしかの物は群体だ fact2: 仮になんらかのものは真っ黒いということはないとすると「捻らない」ということは確かだ fact3: もし仮になにかは涙脆くないならそれは届け出しない fact4: 「群体でない」物はある fact5: あの余熱は管末でない fact6: もし「この漁師は配るが貴方らしくない」ということは誤りであるとすればあの余熱は涙脆くない fact7: その人間中心は涙脆いということはない fact8: もしなにかは群体でないとすると「この漁師は配る一方で貴方らしくない」ということは成り立たない fact9: もしあの余熱が配らないとすれば群体で届け出する fact10: この漁師が涙脆いとしたらあの余熱は貴方らしくない fact11: この漁師は涙脆くない
fact4 & fact8 -> int1: 「この漁師は配る一方で貴方らしくない」ということは正しくない; int1 & fact6 -> int2: あの余熱は涙脆くない; fact3 -> int3: もしもあの余熱が涙脆くないならば届け出するということはない; int2 & int3 -> hypothesis;
fact4 & fact8 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact6 -> int2: ¬{D}{b}; fact3 -> int3: ¬{D}{b} -> ¬{E}{b}; int2 & int3 -> hypothesis;
あの余熱は届け出する
$facts$ = fact1: なにがしかの物は群体だ fact2: 仮になんらかのものは真っ黒いということはないとすると「捻らない」ということは確かだ fact3: もし仮になにかは涙脆くないならそれは届け出しない fact4: 「群体でない」物はある fact5: あの余熱は管末でない fact6: もし「この漁師は配るが貴方らしくない」ということは誤りであるとすればあの余熱は涙脆くない fact7: その人間中心は涙脆いということはない fact8: もしなにかは群体でないとすると「この漁師は配る一方で貴方らしくない」ということは成り立たない fact9: もしあの余熱が配らないとすれば群体で届け出する fact10: この漁師が涙脆いとしたらあの余熱は貴方らしくない fact11: この漁師は涙脆くない ; $hypothesis$ = あの余熱は届け出しない ; $proof$ = 
fact4 & fact8 -> int1: 「この漁師は配る一方で貴方らしくない」ということは正しくない; int1 & fact6 -> int2: あの余熱は涙脆くない; fact3 -> int3: もしもあの余熱が涙脆くないならば届け出するということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: なにがしかの物は群体だ
事実2: 仮になんらかのものは真っ黒いということはないとすると「捻らない」ということは確かだ
事実3: もし仮になにかは涙脆くないならそれは届け出しない
事実4: 「群体でない」物はある
事実5: あの余熱は管末でない
事実6: もし「この漁師は配るが貴方らしくない」ということは誤りであるとすればあの余熱は涙脆くない
事実7: その人間中心は涙脆いということはない
事実8: もしなにかは群体でないとすると「この漁師は配る一方で貴方らしくない」ということは成り立たない
事実9: もしあの余熱が配らないとすれば群体で届け出する
事実10: この漁師が涙脆いとしたらあの余熱は貴方らしくない
事実11: この漁師は涙脆くない

仮説: あの余熱は届け出しない
1. 事実4と事実8から、推論1: "「この漁師は配る一方で貴方らしくない」ということは正しくない"が導かれる
2. 推論1と事実6から、推論2: "あの余熱は涙脆くない"が導かれる
3. 事実3から、推論3: "もしもあの余熱が涙脆くないならば届け出するということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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