「「もしも「侵入出来ない」ということは成り立つとしたら「四角くないし乳臭くない」ということは成り立たない」物はある」ということは確かである
fact1: もし仮にこのトレーダーが侵入出来ないとすると四角くないしその上乳臭くない fact2: もし仮に何かは海面変動でないならば「管理・専門職層である一方で生産活動充実であるということはない」ということは成り立たない fact3: もしもとあるものは走り易くないなら「それは仲間らしくないし加えてパッチムでない」ということは嘘だ fact4: 「もしも「侵入出来る」ということは成り立つとしたら「四角いということはないしかつ乳臭いということはない」ということは間違いである」ものはある fact5: なんらかのものは侵入出来ないとしたら「「それは四角くないし乳臭くない」ということは事実である」ということは間違っている fact6: もしとあるものが侵入出来ないとするとそれは四角くないししかも乳臭くない
fact5 -> int1: もしもこのトレーダーは侵入出来ないならば「四角くないしその上乳臭いということはない」ということは成り立たない; int1 -> hypothesis;
「走り易くないなら「仲間らしくないしその上パッチムであるということはない」ということは本当でない」物はある
fact7 -> int2: あの脳神経外科医は走り易くないなら「それは仲間らしくないし更にパッチムでない」ということは成り立つということはない; int2 -> hypothesis;
$facts$ = fact1: もし仮にこのトレーダーが侵入出来ないとすると四角くないしその上乳臭くない fact2: もし仮に何かは海面変動でないならば「管理・専門職層である一方で生産活動充実であるということはない」ということは成り立たない fact3: もしもとあるものは走り易くないなら「それは仲間らしくないし加えてパッチムでない」ということは嘘だ fact4: 「もしも「侵入出来る」ということは成り立つとしたら「四角いということはないしかつ乳臭いということはない」ということは間違いである」ものはある fact5: なんらかのものは侵入出来ないとしたら「「それは四角くないし乳臭くない」ということは事実である」ということは間違っている fact6: もしとあるものが侵入出来ないとするとそれは四角くないししかも乳臭くない ; $hypothesis$ = 「「もしも「侵入出来ない」ということは成り立つとしたら「四角くないし乳臭くない」ということは成り立たない」物はある」ということは確かである ; $proof$ = 
fact5 -> int1: もしもこのトレーダーは侵入出来ないならば「四角くないしその上乳臭いということはない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もし仮にこのトレーダーが侵入出来ないとすると四角くないしその上乳臭くない
事実2: もし仮に何かは海面変動でないならば「管理・専門職層である一方で生産活動充実であるということはない」ということは成り立たない
事実3: もしもとあるものは走り易くないなら「それは仲間らしくないし加えてパッチムでない」ということは嘘だ
事実4: 「もしも「侵入出来る」ということは成り立つとしたら「四角いということはないしかつ乳臭いということはない」ということは間違いである」ものはある
事実5: なんらかのものは侵入出来ないとしたら「「それは四角くないし乳臭くない」ということは事実である」ということは間違っている
事実6: もしとあるものが侵入出来ないとするとそれは四角くないししかも乳臭くない

仮説: 「「もしも「侵入出来ない」ということは成り立つとしたら「四角くないし乳臭くない」ということは成り立たない」物はある」ということは確かである
1. 事実5から、推論1: "もしもこのトレーダーは侵入出来ないならば「四角くないしその上乳臭いということはない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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