この故意犯は公認でない
fact1: もしもこのルンゼがマイネットワークであるとしたらこの故意犯は公認である fact2: なんらかのものはチーム活動でないかもしくは出血し易くないかもしくは両方ならば小暗くない fact3: 仮にその記録保持者は小暗くないとしたら「あの私有権は小暗くないか攻め合いであるということはないかあるいは両方だ」ということは確かでない fact4: 「完治しない」物はある fact5: もし仮に「「あの私有権は小暗くないかもしくは攻め合いでないかあるいは両方だ」ということは真実だ」ということは成り立たないなら「このルンゼはマイネットワークだ」ということは事実だ fact6: もしも「このルンゼは完治する」ということは真実であるとしたら攻め合いだ fact7: もし「あの私有権は公認であるし小暗い」ということは偽であるならばあの故意犯は公認でない fact8: もし仮になにかは完治しないとしたらその記録保持者はチーム活動でないかまたは出血し易くないか両方だ
fact2 -> int1: もしもその記録保持者がチーム活動でないかもしくは出血し易くないならばそれは小暗いということはない; fact4 & fact8 -> int2: その記録保持者はチーム活動だということはないかもしくは出血し易いということはないかあるいは両方だ; int1 & int2 -> int3: 「その記録保持者は小暗くない」ということは成り立つ; int3 & fact3 -> int4: 「あの私有権は小暗くないかもしくは攻め合いでない」ということは確かでない; int4 & fact5 -> int5: このルンゼはマイネットワークだ; int5 & fact1 -> hypothesis;
この故意犯は公認でない
$facts$ = fact1: もしもこのルンゼがマイネットワークであるとしたらこの故意犯は公認である fact2: なんらかのものはチーム活動でないかもしくは出血し易くないかもしくは両方ならば小暗くない fact3: 仮にその記録保持者は小暗くないとしたら「あの私有権は小暗くないか攻め合いであるということはないかあるいは両方だ」ということは確かでない fact4: 「完治しない」物はある fact5: もし仮に「「あの私有権は小暗くないかもしくは攻め合いでないかあるいは両方だ」ということは真実だ」ということは成り立たないなら「このルンゼはマイネットワークだ」ということは事実だ fact6: もしも「このルンゼは完治する」ということは真実であるとしたら攻め合いだ fact7: もし「あの私有権は公認であるし小暗い」ということは偽であるならばあの故意犯は公認でない fact8: もし仮になにかは完治しないとしたらその記録保持者はチーム活動でないかまたは出血し易くないか両方だ ; $hypothesis$ = この故意犯は公認でない ; $proof$ = 
fact2 -> int1: もしもその記録保持者がチーム活動でないかもしくは出血し易くないならばそれは小暗いということはない; fact4 & fact8 -> int2: その記録保持者はチーム活動だということはないかもしくは出血し易いということはないかあるいは両方だ; int1 & int2 -> int3: 「その記録保持者は小暗くない」ということは成り立つ; int3 & fact3 -> int4: 「あの私有権は小暗くないかもしくは攻め合いでない」ということは確かでない; int4 & fact5 -> int5: このルンゼはマイネットワークだ; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこのルンゼがマイネットワークであるとしたらこの故意犯は公認である
事実2: なんらかのものはチーム活動でないかもしくは出血し易くないかもしくは両方ならば小暗くない
事実3: 仮にその記録保持者は小暗くないとしたら「あの私有権は小暗くないか攻め合いであるということはないかあるいは両方だ」ということは確かでない
事実4: 「完治しない」物はある
事実5: もし仮に「「あの私有権は小暗くないかもしくは攻め合いでないかあるいは両方だ」ということは真実だ」ということは成り立たないなら「このルンゼはマイネットワークだ」ということは事実だ
事実6: もしも「このルンゼは完治する」ということは真実であるとしたら攻め合いだ
事実7: もし「あの私有権は公認であるし小暗い」ということは偽であるならばあの故意犯は公認でない
事実8: もし仮になにかは完治しないとしたらその記録保持者はチーム活動でないかまたは出血し易くないか両方だ

仮説: この故意犯は公認でない
1. 事実2から、推論1: "もしもその記録保持者がチーム活動でないかもしくは出血し易くないならばそれは小暗いということはない"が導かれる
2. 事実4と事実8から、推論2: "その記録保持者はチーム活動だということはないかもしくは出血し易いということはないかあるいは両方だ"が導かれる
3. 推論1と推論2から、推論3: "「その記録保持者は小暗くない」ということは成り立つ"が導かれる
4. 推論3と事実3から、推論4: "「あの私有権は小暗くないかもしくは攻め合いでない」ということは確かでない"が導かれる
5. 推論4と事実5から、推論5: "このルンゼはマイネットワークだ"が導かれる
6. 推論5と事実1から、仮説が否定される

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