この知能検査論は突き上がらない
fact1: もし「なんらかのものは寒しし飛躍する」ということは嘘ならそれは飛躍しない fact2: あの坊ちゃんは飛躍する fact3: 寒しものは飛躍する fact4: あの東大本は本当らしいが研ぎ澄ますということはない fact5: 「全てのものは飛躍する」ということは確かだ fact6: 「取り締まりだし飛躍する」物があるならこの知能検査論は突き上がらない fact7: もしも「何らかの物は突き上がらないしその上それは取り締まりだということはない」ということは成り立たないならばそれは見切る fact8: 全てのものは取り締まりで飛躍する fact9: 「「この知能検査論は研ぎ澄まさない」ということは成り立つとすると「この約十箇月後は突き上がらなくて取り締まりでない」ということは事実と異なる」ということは確かだ fact10: 「あの東大本はクリック出来ないが根気良い」ということは成り立つということはない fact11: 「何らかの物はクリック出来ないけど根気良い」ということは誤っているとすればそれは貧乏臭くない fact12: この無尿は獄死するし偽す fact13: この約十箇月後は冗談ぽくない fact14: もし仮にあの東大本が飛躍しないとすればこの知能検査論が取り締まりだししかもそれは突き上がる fact15: 「「飛躍する」ということは本当な」ものはある fact16: もし仮になんらかのものが冗談ぽいということはないとしたら寒ししそれに就労支援である fact17: もしもあの東大本が貧乏臭くないし加えてそれが研ぎ澄ますということはないならばこの知能検査論は研ぎ澄まさない
fact8 -> int1: あの坊ちゃんは取り締まりであるしそれにそれは飛躍する; int1 -> int2: 「取り締まりであるし加えて飛躍する」ものはある; int2 & fact6 -> hypothesis;
fact8 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact6 -> hypothesis;
この約十箇月後は飛躍するし見切る
fact21 -> int3: もし仮に「この約十箇月後は寒し」ということは真実であるとすれば飛躍する; fact19 -> int4: この約十箇月後が冗談ぽくないとしたら寒ししさらに就労支援だ; int4 & fact24 -> int5: この約十箇月後は寒しものであり就労支援だ; int5 -> int6: この約十箇月後は寒し; int3 & int6 -> int7: この約十箇月後は飛躍する; fact22 -> int8: 仮に「この約十箇月後は突き上がらなくて加えて取り締まりでない」ということは誤りであるとすると見切る; fact20 -> int9: 「あの東大本はクリック出来ないが根気良い」ということは成り立たないとすれば「貧乏臭くない」ということは正しい; int9 & fact26 -> int10: 「あの東大本は貧乏臭くない」ということは確かだ; fact23 -> int11: あの東大本は研ぎ澄まさない; int10 & int11 -> int12: あの東大本は貧乏臭くなくてその上研ぎ澄まさない; fact25 & int12 -> int13: この知能検査論は研ぎ澄まさない; fact18 & int13 -> int14: 「この約十箇月後は突き上がらなくてしかもそれは取り締まりでない」ということは成り立たない; int8 & int14 -> int15: この約十箇月後は見切る; int7 & int15 -> hypothesis;
$facts$ = fact1: もし「なんらかのものは寒しし飛躍する」ということは嘘ならそれは飛躍しない fact2: あの坊ちゃんは飛躍する fact3: 寒しものは飛躍する fact4: あの東大本は本当らしいが研ぎ澄ますということはない fact5: 「全てのものは飛躍する」ということは確かだ fact6: 「取り締まりだし飛躍する」物があるならこの知能検査論は突き上がらない fact7: もしも「何らかの物は突き上がらないしその上それは取り締まりだということはない」ということは成り立たないならばそれは見切る fact8: 全てのものは取り締まりで飛躍する fact9: 「「この知能検査論は研ぎ澄まさない」ということは成り立つとすると「この約十箇月後は突き上がらなくて取り締まりでない」ということは事実と異なる」ということは確かだ fact10: 「あの東大本はクリック出来ないが根気良い」ということは成り立つということはない fact11: 「何らかの物はクリック出来ないけど根気良い」ということは誤っているとすればそれは貧乏臭くない fact12: この無尿は獄死するし偽す fact13: この約十箇月後は冗談ぽくない fact14: もし仮にあの東大本が飛躍しないとすればこの知能検査論が取り締まりだししかもそれは突き上がる fact15: 「「飛躍する」ということは本当な」ものはある fact16: もし仮になんらかのものが冗談ぽいということはないとしたら寒ししそれに就労支援である fact17: もしもあの東大本が貧乏臭くないし加えてそれが研ぎ澄ますということはないならばこの知能検査論は研ぎ澄まさない ; $hypothesis$ = この知能検査論は突き上がらない ; $proof$ = 
fact8 -> int1: あの坊ちゃんは取り締まりであるしそれにそれは飛躍する; int1 -> int2: 「取り締まりであるし加えて飛躍する」ものはある; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし「なんらかのものは寒しし飛躍する」ということは嘘ならそれは飛躍しない
事実2: あの坊ちゃんは飛躍する
事実3: 寒しものは飛躍する
事実4: あの東大本は本当らしいが研ぎ澄ますということはない
事実5: 「全てのものは飛躍する」ということは確かだ
事実6: 「取り締まりだし飛躍する」物があるならこの知能検査論は突き上がらない
事実7: もしも「何らかの物は突き上がらないしその上それは取り締まりだということはない」ということは成り立たないならばそれは見切る
事実8: 全てのものは取り締まりで飛躍する
事実9: 「「この知能検査論は研ぎ澄まさない」ということは成り立つとすると「この約十箇月後は突き上がらなくて取り締まりでない」ということは事実と異なる」ということは確かだ
事実10: 「あの東大本はクリック出来ないが根気良い」ということは成り立つということはない
事実11: 「何らかの物はクリック出来ないけど根気良い」ということは誤っているとすればそれは貧乏臭くない
事実12: この無尿は獄死するし偽す
事実13: この約十箇月後は冗談ぽくない
事実14: もし仮にあの東大本が飛躍しないとすればこの知能検査論が取り締まりだししかもそれは突き上がる
事実15: 「「飛躍する」ということは本当な」ものはある
事実16: もし仮になんらかのものが冗談ぽいということはないとしたら寒ししそれに就労支援である
事実17: もしもあの東大本が貧乏臭くないし加えてそれが研ぎ澄ますということはないならばこの知能検査論は研ぎ澄まさない

仮説: この知能検査論は突き上がらない
1. 事実8から、推論1: "あの坊ちゃんは取り締まりであるしそれにそれは飛躍する"が導かれる
2. 推論1から、推論2: "「取り締まりであるし加えて飛躍する」ものはある"が導かれる
3. 推論2と事実6から、仮説が導かれる

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