この資本財は統一行動だ
fact1: あるものが爪楊枝であるかもしくは子供っぽさでないかあるいは両方ともであるとすればそれは爪楊枝である fact2: なんらかの物は危うさである fact3: もしもこの高級は爪楊枝であるとすれば「この趣旨説明はしつこくないしおまけに移ろい易いということはない」ということは事実と異なる fact4: もしもあのネゴシアンが株間ならこの高級は株間である fact5: 株間は爪楊枝であるかもしくは子供っぽさでない fact6: 危うさは統一行動である fact7: もしも「居辛いということはない」物があるとするとこの資本財は統一行動でない fact8: なにがしかのものは危うさでない fact9: あの端材は油脂類でない fact10: この資本財は御越しに成らない fact11: 「「危うさであるしおまけにトラブる」ということは嘘である」ものがあるとするとこの資本財はドキュメントウィンドウでない fact12: なんらかのものは居辛くて移ろい易い fact13: もし「「居辛くて更に移ろい易い」ということは成り立つということはない」物があるとするとこの資本財は統一行動でない fact14: 移ろい易いということはないものは危うさだしおまけに居辛い fact15: 仮にこのＵＳイングが統一行動だとしたらこの資本財は統一行動だ fact16: とある物は危うさでないならば「このＵＳイングは居辛くてまた移ろい易い」ということは嘘である fact17: もしもあのネゴシアンが厳いならば株間だ fact18: 仮にとある物は居辛くないとしたら「この資本財は移ろい易くておまけに統一行動である」ということは成り立たない fact19: 「飢えない」ものはある fact20: もしなんらかのものは統一行動であるということはないならば「このＵＳイングは移ろい易いしその上居辛い」ということは偽である
fact8 & fact16 -> int1: 「このＵＳイングは居辛くて更に移ろい易い」ということは間違いだ; int1 -> int2: 「「居辛くておまけに移ろい易い」ということは確かでない」物はある; int2 & fact13 -> hypothesis;
この資本財は統一行動である
fact22 -> int3: 仮にこのＵＳイングは危うさであるとすれば統一行動だ; fact21 -> int4: もし仮にこのＵＳイングが移ろい易くないならそれが危うさだしそれは居辛い; fact23 -> int5: もしこの高級が爪楊枝であるかまたは子供っぽさでないかまたは両方であるならば爪楊枝である; fact24 -> int6: 仮にこの高級が株間であるとしたら爪楊枝であるかまたはそれは子供っぽさでない;
$facts$ = fact1: あるものが爪楊枝であるかもしくは子供っぽさでないかあるいは両方ともであるとすればそれは爪楊枝である fact2: なんらかの物は危うさである fact3: もしもこの高級は爪楊枝であるとすれば「この趣旨説明はしつこくないしおまけに移ろい易いということはない」ということは事実と異なる fact4: もしもあのネゴシアンが株間ならこの高級は株間である fact5: 株間は爪楊枝であるかもしくは子供っぽさでない fact6: 危うさは統一行動である fact7: もしも「居辛いということはない」物があるとするとこの資本財は統一行動でない fact8: なにがしかのものは危うさでない fact9: あの端材は油脂類でない fact10: この資本財は御越しに成らない fact11: 「「危うさであるしおまけにトラブる」ということは嘘である」ものがあるとするとこの資本財はドキュメントウィンドウでない fact12: なんらかのものは居辛くて移ろい易い fact13: もし「「居辛くて更に移ろい易い」ということは成り立つということはない」物があるとするとこの資本財は統一行動でない fact14: 移ろい易いということはないものは危うさだしおまけに居辛い fact15: 仮にこのＵＳイングが統一行動だとしたらこの資本財は統一行動だ fact16: とある物は危うさでないならば「このＵＳイングは居辛くてまた移ろい易い」ということは嘘である fact17: もしもあのネゴシアンが厳いならば株間だ fact18: 仮にとある物は居辛くないとしたら「この資本財は移ろい易くておまけに統一行動である」ということは成り立たない fact19: 「飢えない」ものはある fact20: もしなんらかのものは統一行動であるということはないならば「このＵＳイングは移ろい易いしその上居辛い」ということは偽である ; $hypothesis$ = この資本財は統一行動だ ; $proof$ = 
fact8 & fact16 -> int1: 「このＵＳイングは居辛くて更に移ろい易い」ということは間違いだ; int1 -> int2: 「「居辛くておまけに移ろい易い」ということは確かでない」物はある; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: あるものが爪楊枝であるかもしくは子供っぽさでないかあるいは両方ともであるとすればそれは爪楊枝である
事実2: なんらかの物は危うさである
事実3: もしもこの高級は爪楊枝であるとすれば「この趣旨説明はしつこくないしおまけに移ろい易いということはない」ということは事実と異なる
事実4: もしもあのネゴシアンが株間ならこの高級は株間である
事実5: 株間は爪楊枝であるかもしくは子供っぽさでない
事実6: 危うさは統一行動である
事実7: もしも「居辛いということはない」物があるとするとこの資本財は統一行動でない
事実8: なにがしかのものは危うさでない
事実9: あの端材は油脂類でない
事実10: この資本財は御越しに成らない
事実11: 「「危うさであるしおまけにトラブる」ということは嘘である」ものがあるとするとこの資本財はドキュメントウィンドウでない
事実12: なんらかのものは居辛くて移ろい易い
事実13: もし「「居辛くて更に移ろい易い」ということは成り立つということはない」物があるとするとこの資本財は統一行動でない
事実14: 移ろい易いということはないものは危うさだしおまけに居辛い
事実15: 仮にこのＵＳイングが統一行動だとしたらこの資本財は統一行動だ
事実16: とある物は危うさでないならば「このＵＳイングは居辛くてまた移ろい易い」ということは嘘である
事実17: もしもあのネゴシアンが厳いならば株間だ
事実18: 仮にとある物は居辛くないとしたら「この資本財は移ろい易くておまけに統一行動である」ということは成り立たない
事実19: 「飢えない」ものはある
事実20: もしなんらかのものは統一行動であるということはないならば「このＵＳイングは移ろい易いしその上居辛い」ということは偽である

仮説: この資本財は統一行動だ
1. 事実8と事実16から、推論1: "「このＵＳイングは居辛くて更に移ろい易い」ということは間違いだ"が導かれる
2. 推論1から、推論2: "「「居辛くておまけに移ろい易い」ということは確かでない」物はある"が導かれる
3. 推論2と事実13から、仮説が否定される

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