そのスポーツ紙は心配為さらなくて捨て難いということはない
fact1: もしも「そのスポーツ紙は納入先である」ということは成り立つとすればそれは分かり辛くないししかも水際でない fact2: もし仮にとあるものが捨て難いとしたら水際でなくて私的所有権でない fact3: そのスポーツ紙は水際である fact4: 「そのスポーツ紙は捨て難いということはない」ということは成り立つ fact5: 私的所有権は心配為さらないしさらに捨て難くない fact6: 私的所有権は捨て難いということはない fact7: もしもそのライムは陽炎でないならばそれは私的所有権である一方で通じ易くない fact8: そのスポーツ紙は面倒臭い fact9: もしそのライムが私的所有権であるがしかし通じ易くないとすればこの記号論理は私的所有権であるということはない fact10: 仮にそのスポーツ紙が私的所有権ならそれは捨て難くない fact11: あの鼎は白人支配である fact12: もしも「その別行動は相対化し得る」ということは本当なら「それはハードディスクドライブである」ということは成り立つ fact13: そのスポーツ紙は水際であるならばそれは白人支配だ fact14: もしもなんらかのものは白人支配であるなら私的所有権だ
fact13 & fact3 -> int1: そのスポーツ紙は白人支配だ; fact14 -> int2: もしもそのスポーツ紙が白人支配ならばそれは私的所有権だ; int1 & int2 -> int3: 「そのスポーツ紙は私的所有権である」ということは真実である; fact5 -> int4: そのスポーツ紙が私的所有権ならばそれは心配為さるということはないしそれに捨て難くない; int3 & int4 -> hypothesis;
「そのスポーツ紙は心配為さるということはないし捨て難いということはない」ということは成り立たない
$facts$ = fact1: もしも「そのスポーツ紙は納入先である」ということは成り立つとすればそれは分かり辛くないししかも水際でない fact2: もし仮にとあるものが捨て難いとしたら水際でなくて私的所有権でない fact3: そのスポーツ紙は水際である fact4: 「そのスポーツ紙は捨て難いということはない」ということは成り立つ fact5: 私的所有権は心配為さらないしさらに捨て難くない fact6: 私的所有権は捨て難いということはない fact7: もしもそのライムは陽炎でないならばそれは私的所有権である一方で通じ易くない fact8: そのスポーツ紙は面倒臭い fact9: もしそのライムが私的所有権であるがしかし通じ易くないとすればこの記号論理は私的所有権であるということはない fact10: 仮にそのスポーツ紙が私的所有権ならそれは捨て難くない fact11: あの鼎は白人支配である fact12: もしも「その別行動は相対化し得る」ということは本当なら「それはハードディスクドライブである」ということは成り立つ fact13: そのスポーツ紙は水際であるならばそれは白人支配だ fact14: もしもなんらかのものは白人支配であるなら私的所有権だ ; $hypothesis$ = そのスポーツ紙は心配為さらなくて捨て難いということはない ; $proof$ = 
fact13 & fact3 -> int1: そのスポーツ紙は白人支配だ; fact14 -> int2: もしもそのスポーツ紙が白人支配ならばそれは私的所有権だ; int1 & int2 -> int3: 「そのスポーツ紙は私的所有権である」ということは真実である; fact5 -> int4: そのスポーツ紙が私的所有権ならばそれは心配為さるということはないしそれに捨て難くない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしも「そのスポーツ紙は納入先である」ということは成り立つとすればそれは分かり辛くないししかも水際でない
事実2: もし仮にとあるものが捨て難いとしたら水際でなくて私的所有権でない
事実3: そのスポーツ紙は水際である
事実4: 「そのスポーツ紙は捨て難いということはない」ということは成り立つ
事実5: 私的所有権は心配為さらないしさらに捨て難くない
事実6: 私的所有権は捨て難いということはない
事実7: もしもそのライムは陽炎でないならばそれは私的所有権である一方で通じ易くない
事実8: そのスポーツ紙は面倒臭い
事実9: もしそのライムが私的所有権であるがしかし通じ易くないとすればこの記号論理は私的所有権であるということはない
事実10: 仮にそのスポーツ紙が私的所有権ならそれは捨て難くない
事実11: あの鼎は白人支配である
事実12: もしも「その別行動は相対化し得る」ということは本当なら「それはハードディスクドライブである」ということは成り立つ
事実13: そのスポーツ紙は水際であるならばそれは白人支配だ
事実14: もしもなんらかのものは白人支配であるなら私的所有権だ

仮説: そのスポーツ紙は心配為さらなくて捨て難いということはない
1. 事実13と事実3から、推論1: "そのスポーツ紙は白人支配だ"が導かれる
2. 事実14から、推論2: "もしもそのスポーツ紙が白人支配ならばそれは私的所有権だ"が導かれる
3. 推論1と推論2から、推論3: "「そのスポーツ紙は私的所有権である」ということは真実である"が導かれる
4. 事実5から、推論4: "そのスポーツ紙が私的所有権ならばそれは心配為さるということはないしそれに捨て難くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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