「この戦闘方法は分譲する」ということは成り立つ
fact1: この特別活動は大人しくない fact2: 「この戦闘方法が分譲しないならばあの戦闘方法は大人しい」ということは正しい fact3: 「その偏差値優等生は分譲しない」ということは本当である fact4: なんらかの物は方針転換しないけれど築き難いとしたら旨しない fact5: もしもこの戦闘方法が運転し易いということはないとすれば大人しくない fact6: もしこのシナ屋が大人しいとしたらこの戦闘方法は分譲しない fact7: 上がり難くないものは方針転換しないけど築き難い fact8: もしも「何らかの物は上がり難い物でその上言い易い」ということは事実と異なるとするとそれは上がり難くない fact9: 「この戦闘方法は順番である」ということは真実である fact10: もしとある物が方針転換するということはないならそれは築き難くないしまた旨し fact11: この戦闘方法は運転し易くない fact12: 仮に「この戦闘方法は運転し易くてそれにそれは分譲する」ということは成り立つということはないとしたら「この肌は大人しくない」ということは成り立つ fact13: この戦闘方法は如此しない fact14: もしもこの戦闘方法は運転し易くないとするとそれは最終電車だ fact15: もしもこの総長が運転し易くないし恐怖心でないならばあのシナ屋は運転し易くない fact16: このセーヌ河畔は大人しい fact17: 仮に運転し易くないものが旨しないとしたらそれは大人しい fact18: もし「あの尖圭コンジローマは推知しない」ということは嘘でないとすればこの総長は運転し易くないし恐怖心でない fact19: もしもその居住区が推知しないが示し合わせるならばあの尖圭コンジローマは推知するということはない fact20: その居住区は推知するということはないがしかしそれは示し合わせる
void -> assump1: 以下のように仮定する。「この戦闘方法は分譲しない」ということは確かだ; fact2 & assump1 -> int1: 「この戦闘方法は大人しい」ということは本当である; fact11 & fact5 -> int2: この戦闘方法は大人しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: {B}{a}; fact11 & fact5 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この肌は大人しくない
fact21 -> int4: 仮にこの総長が方針転換しないならばそれは築き難くないが旨し;
$facts$ = fact1: この特別活動は大人しくない fact2: 「この戦闘方法が分譲しないならばあの戦闘方法は大人しい」ということは正しい fact3: 「その偏差値優等生は分譲しない」ということは本当である fact4: なんらかの物は方針転換しないけれど築き難いとしたら旨しない fact5: もしもこの戦闘方法が運転し易いということはないとすれば大人しくない fact6: もしこのシナ屋が大人しいとしたらこの戦闘方法は分譲しない fact7: 上がり難くないものは方針転換しないけど築き難い fact8: もしも「何らかの物は上がり難い物でその上言い易い」ということは事実と異なるとするとそれは上がり難くない fact9: 「この戦闘方法は順番である」ということは真実である fact10: もしとある物が方針転換するということはないならそれは築き難くないしまた旨し fact11: この戦闘方法は運転し易くない fact12: 仮に「この戦闘方法は運転し易くてそれにそれは分譲する」ということは成り立つということはないとしたら「この肌は大人しくない」ということは成り立つ fact13: この戦闘方法は如此しない fact14: もしもこの戦闘方法は運転し易くないとするとそれは最終電車だ fact15: もしもこの総長が運転し易くないし恐怖心でないならばあのシナ屋は運転し易くない fact16: このセーヌ河畔は大人しい fact17: 仮に運転し易くないものが旨しないとしたらそれは大人しい fact18: もし「あの尖圭コンジローマは推知しない」ということは嘘でないとすればこの総長は運転し易くないし恐怖心でない fact19: もしもその居住区が推知しないが示し合わせるならばあの尖圭コンジローマは推知するということはない fact20: その居住区は推知するということはないがしかしそれは示し合わせる ; $hypothesis$ = 「この戦闘方法は分譲する」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この戦闘方法は分譲しない」ということは確かだ; fact2 & assump1 -> int1: 「この戦闘方法は大人しい」ということは本当である; fact11 & fact5 -> int2: この戦闘方法は大人しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この特別活動は大人しくない
事実2: 「この戦闘方法が分譲しないならばあの戦闘方法は大人しい」ということは正しい
事実3: 「その偏差値優等生は分譲しない」ということは本当である
事実4: なんらかの物は方針転換しないけれど築き難いとしたら旨しない
事実5: もしもこの戦闘方法が運転し易いということはないとすれば大人しくない
事実6: もしこのシナ屋が大人しいとしたらこの戦闘方法は分譲しない
事実7: 上がり難くないものは方針転換しないけど築き難い
事実8: もしも「何らかの物は上がり難い物でその上言い易い」ということは事実と異なるとするとそれは上がり難くない
事実9: 「この戦闘方法は順番である」ということは真実である
事実10: もしとある物が方針転換するということはないならそれは築き難くないしまた旨し
事実11: この戦闘方法は運転し易くない
事実12: 仮に「この戦闘方法は運転し易くてそれにそれは分譲する」ということは成り立つということはないとしたら「この肌は大人しくない」ということは成り立つ
事実13: この戦闘方法は如此しない
事実14: もしもこの戦闘方法は運転し易くないとするとそれは最終電車だ
事実15: もしもこの総長が運転し易くないし恐怖心でないならばあのシナ屋は運転し易くない
事実16: このセーヌ河畔は大人しい
事実17: 仮に運転し易くないものが旨しないとしたらそれは大人しい
事実18: もし「あの尖圭コンジローマは推知しない」ということは嘘でないとすればこの総長は運転し易くないし恐怖心でない
事実19: もしもその居住区が推知しないが示し合わせるならばあの尖圭コンジローマは推知するということはない
事実20: その居住区は推知するということはないがしかしそれは示し合わせる

仮説: 「この戦闘方法は分譲する」ということは成り立つ
1. 仮定1: 以下のように仮定する。「この戦闘方法は分譲しない」ということは確かだ
2. 事実2と仮定1から、推論1: "「この戦闘方法は大人しい」ということは本当である"が導かれる
3. 事実11と事実5から、推論2: "この戦闘方法は大人しくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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