その筋肉は空間知識でない
fact1: その存念はシーズンだ fact2: 仮に「空間知識でない」物はあれば「その筋肉は濃縮するかシーズンであるかどちらもである」ということは本当だということはない fact3: もし「がめつかない」ものはあれば「この歩留まりロスは濃縮するかまたは書き終わる」ということは成り立つということはない fact4: 「がめつい」ものはある fact5: もしその存念がシーズンだとしたらその二時間後はがめついということはない fact6: この歩留まりロスは書き終わらない fact7: もし「この歩留まりロスは濃縮するかあるいは書き終わるかもしくは両方だ」ということは成り立つということはないとしたらその筋肉は空間知識でない fact8: もしも「がめつかない」物があるとするとこの歩留まりロスは書き終わらない
fact5 & fact1 -> int1: その二時間後はがめつかない; int1 -> int2: 「がめつかない」ものはある; int2 & fact3 -> int3: 「この歩留まりロスは濃縮するかあるいは書き終わる」ということは間違いだ; int3 & fact7 -> hypothesis;
$facts$ = fact1: その存念はシーズンだ fact2: 仮に「空間知識でない」物はあれば「その筋肉は濃縮するかシーズンであるかどちらもである」ということは本当だということはない fact3: もし「がめつかない」ものはあれば「この歩留まりロスは濃縮するかまたは書き終わる」ということは成り立つということはない fact4: 「がめつい」ものはある fact5: もしその存念がシーズンだとしたらその二時間後はがめついということはない fact6: この歩留まりロスは書き終わらない fact7: もし「この歩留まりロスは濃縮するかあるいは書き終わるかもしくは両方だ」ということは成り立つということはないとしたらその筋肉は空間知識でない fact8: もしも「がめつかない」物があるとするとこの歩留まりロスは書き終わらない ; $hypothesis$ = その筋肉は空間知識でない ; $proof$ = 
fact5 & fact1 -> int1: その二時間後はがめつかない; int1 -> int2: 「がめつかない」ものはある; int2 & fact3 -> int3: 「この歩留まりロスは濃縮するかあるいは書き終わる」ということは間違いだ; int3 & fact7 -> hypothesis; __PROVED__
事実1: その存念はシーズンだ
事実2: 仮に「空間知識でない」物はあれば「その筋肉は濃縮するかシーズンであるかどちらもである」ということは本当だということはない
事実3: もし「がめつかない」ものはあれば「この歩留まりロスは濃縮するかまたは書き終わる」ということは成り立つということはない
事実4: 「がめつい」ものはある
事実5: もしその存念がシーズンだとしたらその二時間後はがめついということはない
事実6: この歩留まりロスは書き終わらない
事実7: もし「この歩留まりロスは濃縮するかあるいは書き終わるかもしくは両方だ」ということは成り立つということはないとしたらその筋肉は空間知識でない
事実8: もしも「がめつかない」物があるとするとこの歩留まりロスは書き終わらない

仮説: その筋肉は空間知識でない
1. 事実5と事実1から、推論1: "その二時間後はがめつかない"が導かれる
2. 推論1から、推論2: "「がめつかない」ものはある"が導かれる
3. 推論2と事実3から、推論3: "「この歩留まりロスは濃縮するかあるいは書き終わる」ということは間違いだ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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