「この忠義は人懐っこくてかつＸ課長である」ということは誤りである
fact1: 仮にこの忠義が人懐っこいとすればそれは叶う fact2: この老齢厚生年金は取り置く一方で叶わない fact3: 何らかのものが叶うならそれは出歩く fact4: もしも「何らかのものは居着かないけどそれは冷め難い」ということは成り立たないならば反復継続する fact5: この委員会・係は自作する fact6: もしこの委員会・係が居着くとすればそれは反復継続する fact7: 「もしこの委員会・係は自作すれば「この委員会・係は居着かないけれど冷め難い」ということは成り立たない」ということは偽でない fact8: 「この忠義は反復継続する」ということは事実であるとすれば叶う fact9: 仮に「謗らないか叶わないかまたはどちらもである」物があるならばあの忠義はＸ課長である fact10: もしあるものが反復継続するならこの忠義は人懐っこい
fact2 -> int1: この老齢厚生年金は叶わない; int1 -> int2: この老齢厚生年金は謗らないかまたは叶わないかもしくは両方ともだ; int2 -> int3: 何かは謗らないかまたはそれは叶わないかもしくは両方ともである; int3 & fact9 -> int4: この忠義はＸ課長である; fact5 & fact7 -> int5: 「この委員会・係は居着かない一方で冷め難い」ということは間違っている; fact4 -> int6: 仮に「この委員会・係は居着かない一方で冷め難い」ということは成り立たないとすると「それは反復継続する」ということは真実である; int5 & int6 -> int7: この委員会・係は反復継続する; int7 -> int8: 「反復継続する」物はある; fact10 & int8 -> int9: この忠義は人懐っこい; int4 & int9 -> hypothesis;
この忠義が出歩くしその上取り置く
fact13 -> int10: 仮にこの忠義が叶うとしたら出歩く;
$facts$ = fact1: 仮にこの忠義が人懐っこいとすればそれは叶う fact2: この老齢厚生年金は取り置く一方で叶わない fact3: 何らかのものが叶うならそれは出歩く fact4: もしも「何らかのものは居着かないけどそれは冷め難い」ということは成り立たないならば反復継続する fact5: この委員会・係は自作する fact6: もしこの委員会・係が居着くとすればそれは反復継続する fact7: 「もしこの委員会・係は自作すれば「この委員会・係は居着かないけれど冷め難い」ということは成り立たない」ということは偽でない fact8: 「この忠義は反復継続する」ということは事実であるとすれば叶う fact9: 仮に「謗らないか叶わないかまたはどちらもである」物があるならばあの忠義はＸ課長である fact10: もしあるものが反復継続するならこの忠義は人懐っこい ; $hypothesis$ = 「この忠義は人懐っこくてかつＸ課長である」ということは誤りである ; $proof$ = 
fact2 -> int1: この老齢厚生年金は叶わない; int1 -> int2: この老齢厚生年金は謗らないかまたは叶わないかもしくは両方ともだ; int2 -> int3: 何かは謗らないかまたはそれは叶わないかもしくは両方ともである; int3 & fact9 -> int4: この忠義はＸ課長である; fact5 & fact7 -> int5: 「この委員会・係は居着かない一方で冷め難い」ということは間違っている; fact4 -> int6: 仮に「この委員会・係は居着かない一方で冷め難い」ということは成り立たないとすると「それは反復継続する」ということは真実である; int5 & int6 -> int7: この委員会・係は反復継続する; int7 -> int8: 「反復継続する」物はある; fact10 & int8 -> int9: この忠義は人懐っこい; int4 & int9 -> hypothesis; __DISPROVED__
事実1: 仮にこの忠義が人懐っこいとすればそれは叶う
事実2: この老齢厚生年金は取り置く一方で叶わない
事実3: 何らかのものが叶うならそれは出歩く
事実4: もしも「何らかのものは居着かないけどそれは冷め難い」ということは成り立たないならば反復継続する
事実5: この委員会・係は自作する
事実6: もしこの委員会・係が居着くとすればそれは反復継続する
事実7: 「もしこの委員会・係は自作すれば「この委員会・係は居着かないけれど冷め難い」ということは成り立たない」ということは偽でない
事実8: 「この忠義は反復継続する」ということは事実であるとすれば叶う
事実9: 仮に「謗らないか叶わないかまたはどちらもである」物があるならばあの忠義はＸ課長である
事実10: もしあるものが反復継続するならこの忠義は人懐っこい

仮説: 「この忠義は人懐っこくてかつＸ課長である」ということは誤りである
1. 事実2から、推論1: "この老齢厚生年金は叶わない"が導かれる
2. 推論1から、推論2: "この老齢厚生年金は謗らないかまたは叶わないかもしくは両方ともだ"が導かれる
3. 推論2から、推論3: "何かは謗らないかまたはそれは叶わないかもしくは両方ともである"が導かれる
4. 推論3と事実9から、推論4: "この忠義はＸ課長である"が導かれる
5. 事実5と事実7から、推論5: "「この委員会・係は居着かない一方で冷め難い」ということは間違っている"が導かれる
6. 事実4から、推論6: "仮に「この委員会・係は居着かない一方で冷め難い」ということは成り立たないとすると「それは反復継続する」ということは真実である"が導かれる
7. 推論5と推論6から、推論7: "この委員会・係は反復継続する"が導かれる
8. 推論7から、推論8: "「反復継続する」物はある"が導かれる
9. 事実10と推論8から、推論9: "この忠義は人懐っこい"が導かれる
10. 推論4と推論9から、仮説が否定される

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