あのフィルター操作はゲートボール群である
fact1: もしもあのフィルター操作は走行出来ないとすれば「それは面倒がらないしＬＦＡでない」ということは成り立たない fact2: 「この縦横比率はＬＦＡだ」ということは成り立つ fact3: あのフィルター操作は面倒がれば「そのＦＦレートは面倒がる一方でゲートボール群であるということはない」ということは成り立つということはない fact4: 仮に「なんらかのものは面倒がらなくてかつＬＦＡでない」ということは偽だとすればそれはゲートボール群だということはない fact5: 「なんらかのものは面倒がるけれど読み易くない」ということは本当でないとすれば走行出来る fact6: 「そのＦＦレートは面倒がる」ということは真実であるならば「あの心体は面倒がるが読み易くない」ということは偽である fact7: もしこの縦横比率がＬＦＡだとすればそのＦＦレートは面倒がる fact8: もしあの心体が走行出来るとしたらあのフィルター操作は外交面である fact9: 外交面はゲートボール群だ fact10: 仮に「そのＦＦレートは面倒がる」ということは成り立つとすると「「あの心体は面倒がるしさらにそれは読み易い」ということは偽である」ということは真実だ
fact7 & fact2 -> int1: そのＦＦレートは面倒がる; int1 & fact6 -> int2: 「あの心体は面倒がるけれど読み易くない」ということは成り立たない; fact5 -> int3: 「あの心体は面倒がるけれど読み易くない」ということは誤りであるなら走行出来る; int2 & int3 -> int4: あの心体は走行出来る; int4 & fact8 -> int5: 「あのフィルター操作は外交面だ」ということは確かだ; fact9 -> int6: もしあのフィルター操作が外交面ならそれはゲートボール群だ; int5 & int6 -> hypothesis;
あのフィルター操作はゲートボール群でない
fact12 -> int7: もし「あのフィルター操作は面倒がらないしＬＦＡでない」ということは成り立たないとするとそれはゲートボール群でない;
$facts$ = fact1: もしもあのフィルター操作は走行出来ないとすれば「それは面倒がらないしＬＦＡでない」ということは成り立たない fact2: 「この縦横比率はＬＦＡだ」ということは成り立つ fact3: あのフィルター操作は面倒がれば「そのＦＦレートは面倒がる一方でゲートボール群であるということはない」ということは成り立つということはない fact4: 仮に「なんらかのものは面倒がらなくてかつＬＦＡでない」ということは偽だとすればそれはゲートボール群だということはない fact5: 「なんらかのものは面倒がるけれど読み易くない」ということは本当でないとすれば走行出来る fact6: 「そのＦＦレートは面倒がる」ということは真実であるならば「あの心体は面倒がるが読み易くない」ということは偽である fact7: もしこの縦横比率がＬＦＡだとすればそのＦＦレートは面倒がる fact8: もしあの心体が走行出来るとしたらあのフィルター操作は外交面である fact9: 外交面はゲートボール群だ fact10: 仮に「そのＦＦレートは面倒がる」ということは成り立つとすると「「あの心体は面倒がるしさらにそれは読み易い」ということは偽である」ということは真実だ ; $hypothesis$ = あのフィルター操作はゲートボール群である ; $proof$ = 
fact7 & fact2 -> int1: そのＦＦレートは面倒がる; int1 & fact6 -> int2: 「あの心体は面倒がるけれど読み易くない」ということは成り立たない; fact5 -> int3: 「あの心体は面倒がるけれど読み易くない」ということは誤りであるなら走行出来る; int2 & int3 -> int4: あの心体は走行出来る; int4 & fact8 -> int5: 「あのフィルター操作は外交面だ」ということは確かだ; fact9 -> int6: もしあのフィルター操作が外交面ならそれはゲートボール群だ; int5 & int6 -> hypothesis; __PROVED__
事実1: もしもあのフィルター操作は走行出来ないとすれば「それは面倒がらないしＬＦＡでない」ということは成り立たない
事実2: 「この縦横比率はＬＦＡだ」ということは成り立つ
事実3: あのフィルター操作は面倒がれば「そのＦＦレートは面倒がる一方でゲートボール群であるということはない」ということは成り立つということはない
事実4: 仮に「なんらかのものは面倒がらなくてかつＬＦＡでない」ということは偽だとすればそれはゲートボール群だということはない
事実5: 「なんらかのものは面倒がるけれど読み易くない」ということは本当でないとすれば走行出来る
事実6: 「そのＦＦレートは面倒がる」ということは真実であるならば「あの心体は面倒がるが読み易くない」ということは偽である
事実7: もしこの縦横比率がＬＦＡだとすればそのＦＦレートは面倒がる
事実8: もしあの心体が走行出来るとしたらあのフィルター操作は外交面である
事実9: 外交面はゲートボール群だ
事実10: 仮に「そのＦＦレートは面倒がる」ということは成り立つとすると「「あの心体は面倒がるしさらにそれは読み易い」ということは偽である」ということは真実だ

仮説: あのフィルター操作はゲートボール群である
1. 事実7と事実2から、推論1: "そのＦＦレートは面倒がる"が導かれる
2. 推論1と事実6から、推論2: "「あの心体は面倒がるけれど読み易くない」ということは成り立たない"が導かれる
3. 事実5から、推論3: "「あの心体は面倒がるけれど読み易くない」ということは誤りであるなら走行出来る"が導かれる
4. 推論2と推論3から、推論4: "あの心体は走行出来る"が導かれる
5. 推論4と事実8から、推論5: "「あのフィルター操作は外交面だ」ということは確かだ"が導かれる
6. 事実9から、推論6: "もしあのフィルター操作が外交面ならそれはゲートボール群だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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