この相互覚起は持ち出さない
fact1: もしそのＳＮＰは運搬しないとしたら「デテルミナントであるかもしくはそれは染影するということはないかもしくは両方である」ということは誤りだ fact2: もし「そのＳＮＰはデテルミナントであるかまたはそれは染影しない」ということは間違っているとしたらあの家族構成は持ち出す fact3: この相互覚起は恨めしい fact4: もしもこの相互覚起が恨めしいとするとそれは染影する fact5: 「あのＩＮＩＴメソッドはデテルミナントだしそれに詮無い」ということは真実である fact6: もしもデテルミナントが染影するとしたらそれは持ち出さない fact7: もしもなんらかのものがデテルミナントでないならばそれは染影するかまたは恨めしくないかもしくは両方である fact8: この相互覚起はデテルミナントである
fact4 & fact3 -> int1: この相互覚起は染影する; int1 & fact8 -> int2: この相互覚起はデテルミナントでそれに染影する; fact6 -> int3: もし仮にこの相互覚起がデテルミナントだしさらに染影するとしたら持ち出さない; int2 & int3 -> hypothesis;
この相互覚起は持ち出す
$facts$ = fact1: もしそのＳＮＰは運搬しないとしたら「デテルミナントであるかもしくはそれは染影するということはないかもしくは両方である」ということは誤りだ fact2: もし「そのＳＮＰはデテルミナントであるかまたはそれは染影しない」ということは間違っているとしたらあの家族構成は持ち出す fact3: この相互覚起は恨めしい fact4: もしもこの相互覚起が恨めしいとするとそれは染影する fact5: 「あのＩＮＩＴメソッドはデテルミナントだしそれに詮無い」ということは真実である fact6: もしもデテルミナントが染影するとしたらそれは持ち出さない fact7: もしもなんらかのものがデテルミナントでないならばそれは染影するかまたは恨めしくないかもしくは両方である fact8: この相互覚起はデテルミナントである ; $hypothesis$ = この相互覚起は持ち出さない ; $proof$ = 
fact4 & fact3 -> int1: この相互覚起は染影する; int1 & fact8 -> int2: この相互覚起はデテルミナントでそれに染影する; fact6 -> int3: もし仮にこの相互覚起がデテルミナントだしさらに染影するとしたら持ち出さない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしそのＳＮＰは運搬しないとしたら「デテルミナントであるかもしくはそれは染影するということはないかもしくは両方である」ということは誤りだ
事実2: もし「そのＳＮＰはデテルミナントであるかまたはそれは染影しない」ということは間違っているとしたらあの家族構成は持ち出す
事実3: この相互覚起は恨めしい
事実4: もしもこの相互覚起が恨めしいとするとそれは染影する
事実5: 「あのＩＮＩＴメソッドはデテルミナントだしそれに詮無い」ということは真実である
事実6: もしもデテルミナントが染影するとしたらそれは持ち出さない
事実7: もしもなんらかのものがデテルミナントでないならばそれは染影するかまたは恨めしくないかもしくは両方である
事実8: この相互覚起はデテルミナントである

仮説: この相互覚起は持ち出さない
1. 事実4と事実3から、推論1: "この相互覚起は染影する"が導かれる
2. 推論1と事実8から、推論2: "この相互覚起はデテルミナントでそれに染影する"が導かれる
3. 事実6から、推論3: "もし仮にこの相互覚起がデテルミナントだしさらに染影するとしたら持ち出さない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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