「「この密猟は年前後だし従来技術だ」ということは誤りだ」ということは本当だ
fact1: この密猟は分厚い fact2: もし「保有個人データな」ものがあるとしたらその出勤日数は尽くせる fact3: ある物が善意取得するということはないし退色し易くないならば「あの嫡孫は尽くせらない」ということは真実だ fact4: 堅苦しくないものは対処するしまた年前後だ fact5: もし仮に「その出勤日数は善意取得する」ということは間違っていないとしたらきったない fact6: 「「その出勤日数は善意取得する一方で退色し易くない」ということは事実だ」ということは間違いだ fact7: あの嫡孫は類似するしおまけに激怒する fact8: 「あの嫡孫は厳くないしさらに尽くせらない」ということは偽であるならそれは尽くせる fact9: 何らかの物は善意取得するということはないとしたら「年前後であるしおまけに従来技術だ」ということは間違っている fact10: その出勤日数は発送先住所であるしその上捕まえ易い fact11: この密猟が堅苦しくないならば対処する fact12: もし仮に「尽くせらなくておまけに対処しない」物があればあの嫡孫は厳くない fact13: もし仮に「何かは善意取得しないし退色し易くない」ということは正しくないとしたら「きったない」ということは真実だ fact14: 仮に何らかの物が保有個人データであるかあるいはきったないとすればあの密猟は従来技術である fact15: 「あの嫡孫は厳くないしそれは尽くせらない」ということは真実でない fact16: 仮に「「退色し易くてそれに善意取得する」ということは成り立たない」ものはあるなら「この密猟は善意取得する」ということは真実でない fact17: この密猟は堅苦しくない fact18: 何かは善意取得するとすればきったない
void -> assump1: 以下のように仮定する。その出勤日数は善意取得するということはないしその上退色し易いない; assump1 -> int1: なんらかの物は善意取得しなくてかつ退色し易くない; int1 & fact3 -> int2: あの嫡孫は尽くせらない; fact8 & fact15 -> int3: あの嫡孫は尽くせる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「その出勤日数は善意取得しなくてそれに退色し易いということはない」ということは事実だ」ということは間違いである; fact13 -> int6: もしも「その出勤日数は善意取得しなくてそれは退色し易いということはない」ということは確かだということはないとすればきったない; int5 & int6 -> int7: その出勤日数はきったない; int7 -> int8: その出勤日数は保有個人データであるかまたはそれはきったないか両方である; int8 -> int9: 「なにがしかのものは保有個人データであるかそれはきったない」ということは正しい; int9 & fact14 -> int10: この密猟は従来技術だ; fact4 -> int11: もしこの密猟が堅苦しくないとすればそれは対処するしその上年前後だ; int11 & fact17 -> int12: この密猟は対処するしそれに年前後だ; int12 -> int13: この密猟は年前後だ; int10 & int13 -> hypothesis;
「この密猟は年前後であるし更にそれは従来技術だ」ということは真実でない
fact20 -> int14: 仮にこの密猟は善意取得しないなら「それは年前後で更にそれは従来技術だ」ということは事実と異なる;
$facts$ = fact1: この密猟は分厚い fact2: もし「保有個人データな」ものがあるとしたらその出勤日数は尽くせる fact3: ある物が善意取得するということはないし退色し易くないならば「あの嫡孫は尽くせらない」ということは真実だ fact4: 堅苦しくないものは対処するしまた年前後だ fact5: もし仮に「その出勤日数は善意取得する」ということは間違っていないとしたらきったない fact6: 「「その出勤日数は善意取得する一方で退色し易くない」ということは事実だ」ということは間違いだ fact7: あの嫡孫は類似するしおまけに激怒する fact8: 「あの嫡孫は厳くないしさらに尽くせらない」ということは偽であるならそれは尽くせる fact9: 何らかの物は善意取得するということはないとしたら「年前後であるしおまけに従来技術だ」ということは間違っている fact10: その出勤日数は発送先住所であるしその上捕まえ易い fact11: この密猟が堅苦しくないならば対処する fact12: もし仮に「尽くせらなくておまけに対処しない」物があればあの嫡孫は厳くない fact13: もし仮に「何かは善意取得しないし退色し易くない」ということは正しくないとしたら「きったない」ということは真実だ fact14: 仮に何らかの物が保有個人データであるかあるいはきったないとすればあの密猟は従来技術である fact15: 「あの嫡孫は厳くないしそれは尽くせらない」ということは真実でない fact16: 仮に「「退色し易くてそれに善意取得する」ということは成り立たない」ものはあるなら「この密猟は善意取得する」ということは真実でない fact17: この密猟は堅苦しくない fact18: 何かは善意取得するとすればきったない ; $hypothesis$ = 「「この密猟は年前後だし従来技術だ」ということは誤りだ」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その出勤日数は善意取得するということはないしその上退色し易いない; assump1 -> int1: なんらかの物は善意取得しなくてかつ退色し易くない; int1 & fact3 -> int2: あの嫡孫は尽くせらない; fact8 & fact15 -> int3: あの嫡孫は尽くせる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「その出勤日数は善意取得しなくてそれに退色し易いということはない」ということは事実だ」ということは間違いである; fact13 -> int6: もしも「その出勤日数は善意取得しなくてそれは退色し易いということはない」ということは確かだということはないとすればきったない; int5 & int6 -> int7: その出勤日数はきったない; int7 -> int8: その出勤日数は保有個人データであるかまたはそれはきったないか両方である; int8 -> int9: 「なにがしかのものは保有個人データであるかそれはきったない」ということは正しい; int9 & fact14 -> int10: この密猟は従来技術だ; fact4 -> int11: もしこの密猟が堅苦しくないとすればそれは対処するしその上年前後だ; int11 & fact17 -> int12: この密猟は対処するしそれに年前後だ; int12 -> int13: この密猟は年前後だ; int10 & int13 -> hypothesis; __DISPROVED__
事実1: この密猟は分厚い
事実2: もし「保有個人データな」ものがあるとしたらその出勤日数は尽くせる
事実3: ある物が善意取得するということはないし退色し易くないならば「あの嫡孫は尽くせらない」ということは真実だ
事実4: 堅苦しくないものは対処するしまた年前後だ
事実5: もし仮に「その出勤日数は善意取得する」ということは間違っていないとしたらきったない
事実6: 「「その出勤日数は善意取得する一方で退色し易くない」ということは事実だ」ということは間違いだ
事実7: あの嫡孫は類似するしおまけに激怒する
事実8: 「あの嫡孫は厳くないしさらに尽くせらない」ということは偽であるならそれは尽くせる
事実9: 何らかの物は善意取得するということはないとしたら「年前後であるしおまけに従来技術だ」ということは間違っている
事実10: その出勤日数は発送先住所であるしその上捕まえ易い
事実11: この密猟が堅苦しくないならば対処する
事実12: もし仮に「尽くせらなくておまけに対処しない」物があればあの嫡孫は厳くない
事実13: もし仮に「何かは善意取得しないし退色し易くない」ということは正しくないとしたら「きったない」ということは真実だ
事実14: 仮に何らかの物が保有個人データであるかあるいはきったないとすればあの密猟は従来技術である
事実15: 「あの嫡孫は厳くないしそれは尽くせらない」ということは真実でない
事実16: 仮に「「退色し易くてそれに善意取得する」ということは成り立たない」ものはあるなら「この密猟は善意取得する」ということは真実でない
事実17: この密猟は堅苦しくない
事実18: 何かは善意取得するとすればきったない

仮説: 「「この密猟は年前後だし従来技術だ」ということは誤りだ」ということは本当だ
1. 仮定1: 以下のように仮定する。その出勤日数は善意取得するということはないしその上退色し易いない
2. 仮定1から、推論1: "なんらかの物は善意取得しなくてかつ退色し易くない"が導かれる
3. 推論1と事実3から、推論2: "あの嫡孫は尽くせらない"が導かれる
4. 事実8と事実15から、推論3: "あの嫡孫は尽くせる"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「「その出勤日数は善意取得しなくてそれに退色し易いということはない」ということは事実だ」ということは間違いである"が導かれる
7. 事実13から、推論6: "もしも「その出勤日数は善意取得しなくてそれは退色し易いということはない」ということは確かだということはないとすればきったない"が導かれる
8. 推論5と推論6から、推論7: "その出勤日数はきったない"が導かれる
9. 推論7から、推論8: "その出勤日数は保有個人データであるかまたはそれはきったないか両方である"が導かれる
10. 推論8から、推論9: "「なにがしかのものは保有個人データであるかそれはきったない」ということは正しい"が導かれる
11. 推論9と事実14から、推論10: "この密猟は従来技術だ"が導かれる
12. 事実4から、推論11: "もしこの密猟が堅苦しくないとすればそれは対処するしその上年前後だ"が導かれる
13. 推論11と事実17から、推論12: "この密猟は対処するしそれに年前後だ"が導かれる
14. 推論12から、推論13: "この密猟は年前後だ"が導かれる
15. 推論10と推論13から、仮説が否定される

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