その編み込みはオフェンスフォーメーションである
fact1: 「「その編み込みは受け易いということはなくてそれに滑り易くない」ということは偽である」ということは真実だ fact2: 「なんらかのものは汲み尽くすしおまけにそれは振るい続ける」ということは本当ならそれは掻き乱さない fact3: もし「その総資産は整備新幹線でまた掻き乱す」ということは誤っているならその宣誓は整備新幹線でない fact4: その宣誓は汲み尽くす fact5: もし仮に「その編み込みは受け易くなくて滑り易くない」ということは間違いならばオフェンスフォーメーションだ
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
その編み込みはオフェンスフォーメーションだということはない
fact6 -> int1: もし仮にその宣誓が汲み尽くすしそれが振るい続けるとすれば掻き乱さない;
$facts$ = fact1: 「「その編み込みは受け易いということはなくてそれに滑り易くない」ということは偽である」ということは真実だ fact2: 「なんらかのものは汲み尽くすしおまけにそれは振るい続ける」ということは本当ならそれは掻き乱さない fact3: もし「その総資産は整備新幹線でまた掻き乱す」ということは誤っているならその宣誓は整備新幹線でない fact4: その宣誓は汲み尽くす fact5: もし仮に「その編み込みは受け易くなくて滑り易くない」ということは間違いならばオフェンスフォーメーションだ ; $hypothesis$ = その編み込みはオフェンスフォーメーションである ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: 「「その編み込みは受け易いということはなくてそれに滑り易くない」ということは偽である」ということは真実だ
事実2: 「なんらかのものは汲み尽くすしおまけにそれは振るい続ける」ということは本当ならそれは掻き乱さない
事実3: もし「その総資産は整備新幹線でまた掻き乱す」ということは誤っているならその宣誓は整備新幹線でない
事実4: その宣誓は汲み尽くす
事実5: もし仮に「その編み込みは受け易くなくて滑り易くない」ということは間違いならばオフェンスフォーメーションだ

仮説: その編み込みはオフェンスフォーメーションである
1. 事実5と事実1から、仮説が導かれる

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