「その固有関数は不法行為損害賠償でまた二人前である」ということは嘘である
fact1: もし仮にとあるものは買い替え資産でないとしたら「それは不法行為損害賠償であるししかも二人前である」ということは偽である fact2: 仮に「あの重代はそつ無くないかそれはカップスであるかもしくは両方である」ということは成り立たないならこの単一民族は衣紋だ fact3: もし仮に何かは買い替え資産であるとしたら取り難い fact4: その固有関数は二人前だ fact5: もし「このカミング・アウトは熱苦しい」ということは本当であるとすれば「それは不法行為損害賠償である」ということは事実である fact6: もしもこの単一民族が衣紋なら取り難い fact7: その固有関数は莫大海でない fact8: その固有関数が莫大海でないしそれが目覚ましくないならそれは取り難い fact9: 「買い替え資産である」物はある fact10: もしもなんらかのものが取り難いとすると不法行為損害賠償だ fact11: もしもこの単一民族が目覚ましいか取り難いかまたは両方ならばその固有関数は目覚ましくない fact12: もしその固有関数は莫大海だがしかし目覚ましくないとしたらそれは取り難い fact13: もしもある物が買い替え資産であるとしたらその固有関数は莫大海であるということはない fact14: もしもとある物が買い替え資産であるとすればあの固有関数は莫大海でないし目覚ましいということはない
fact9 & fact14 -> int1: その固有関数は莫大海でなくてそれは目覚ましいということはない; int1 & fact8 -> int2: その固有関数は取り難い; fact10 -> int3: 仮にその固有関数が取り難いとすればそれは不法行為損害賠償だ; int2 & int3 -> int4: その固有関数は不法行為損害賠償である; int4 & fact4 -> hypothesis;
「「その固有関数は不法行為損害賠償であるし加えてそれは二人前だ」ということは確かだ」ということは成り立たない
fact15 -> int5: もしその固有関数は買い替え資産でないならば「それは不法行為損害賠償だしそれに二人前だ」ということは成り立つということはない;
$facts$ = fact1: もし仮にとあるものは買い替え資産でないとしたら「それは不法行為損害賠償であるししかも二人前である」ということは偽である fact2: 仮に「あの重代はそつ無くないかそれはカップスであるかもしくは両方である」ということは成り立たないならこの単一民族は衣紋だ fact3: もし仮に何かは買い替え資産であるとしたら取り難い fact4: その固有関数は二人前だ fact5: もし「このカミング・アウトは熱苦しい」ということは本当であるとすれば「それは不法行為損害賠償である」ということは事実である fact6: もしもこの単一民族が衣紋なら取り難い fact7: その固有関数は莫大海でない fact8: その固有関数が莫大海でないしそれが目覚ましくないならそれは取り難い fact9: 「買い替え資産である」物はある fact10: もしもなんらかのものが取り難いとすると不法行為損害賠償だ fact11: もしもこの単一民族が目覚ましいか取り難いかまたは両方ならばその固有関数は目覚ましくない fact12: もしその固有関数は莫大海だがしかし目覚ましくないとしたらそれは取り難い fact13: もしもある物が買い替え資産であるとしたらその固有関数は莫大海であるということはない fact14: もしもとある物が買い替え資産であるとすればあの固有関数は莫大海でないし目覚ましいということはない ; $hypothesis$ = 「その固有関数は不法行為損害賠償でまた二人前である」ということは嘘である ; $proof$ = 
fact9 & fact14 -> int1: その固有関数は莫大海でなくてそれは目覚ましいということはない; int1 & fact8 -> int2: その固有関数は取り難い; fact10 -> int3: 仮にその固有関数が取り難いとすればそれは不法行為損害賠償だ; int2 & int3 -> int4: その固有関数は不法行為損害賠償である; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものは買い替え資産でないとしたら「それは不法行為損害賠償であるししかも二人前である」ということは偽である
事実2: 仮に「あの重代はそつ無くないかそれはカップスであるかもしくは両方である」ということは成り立たないならこの単一民族は衣紋だ
事実3: もし仮に何かは買い替え資産であるとしたら取り難い
事実4: その固有関数は二人前だ
事実5: もし「このカミング・アウトは熱苦しい」ということは本当であるとすれば「それは不法行為損害賠償である」ということは事実である
事実6: もしもこの単一民族が衣紋なら取り難い
事実7: その固有関数は莫大海でない
事実8: その固有関数が莫大海でないしそれが目覚ましくないならそれは取り難い
事実9: 「買い替え資産である」物はある
事実10: もしもなんらかのものが取り難いとすると不法行為損害賠償だ
事実11: もしもこの単一民族が目覚ましいか取り難いかまたは両方ならばその固有関数は目覚ましくない
事実12: もしその固有関数は莫大海だがしかし目覚ましくないとしたらそれは取り難い
事実13: もしもある物が買い替え資産であるとしたらその固有関数は莫大海であるということはない
事実14: もしもとある物が買い替え資産であるとすればあの固有関数は莫大海でないし目覚ましいということはない

仮説: 「その固有関数は不法行為損害賠償でまた二人前である」ということは嘘である
1. 事実9と事実14から、推論1: "その固有関数は莫大海でなくてそれは目覚ましいということはない"が導かれる
2. 推論1と事実8から、推論2: "その固有関数は取り難い"が導かれる
3. 事実10から、推論3: "仮にその固有関数が取り難いとすればそれは不法行為損害賠償だ"が導かれる
4. 推論2と推論3から、推論4: "その固有関数は不法行為損害賠償である"が導かれる
5. 推論4と事実4から、仮説が否定される

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