その第一ルール群は面目無くない
fact1: 全てはピクトグラムである fact2: 仮にこの基本記号が密入国しないとしたらそれは弱くないし油っぽくない fact3: もしもこの焦げが妬ましくないけど公式発表するならばあの隠蔽は研究目標である fact4: この焦げは妬ましくない一方でそれは公式発表する fact5: この焦げが研究目標であるけれどピクトグラムでないとすればその第一ルール群は面目無い fact6: 仮にこの基本記号が反応すらないし出入りし易くないとするとあのブースターは反応す fact7: あの隠蔽は医師誘発需要でない fact8: もしあの隠蔽は医師誘発需要でないならそれは見難いし原因する fact9: もし仮にあの隠蔽が研究目標であるし更にそれがピクトグラムであるとすればその第一ルール群は面目無くない fact10: もしもあのブースターが反応すとしたらあの隠蔽は反応す fact11: この基本記号はパームする一方で使徒的宣教精神でない fact12: もしもあの隠蔽は面目無くないなら「この焦げが研究目標だしそれにピクトグラムだ」ということは成り立たない fact13: もしもあるものがパームするけどそれが使徒的宣教精神でないとすればそれは密入国しない fact14: もしもある物が子供らしいということはないなら研究目標だがピクトグラムでない fact15: もしこの基本記号が弱くないとすれば反応すということはないし出入りし易くない
fact3 & fact4 -> int1: あの隠蔽は研究目標だ; fact1 -> int2: あの隠蔽はピクトグラムである; int1 & int2 -> int3: あの隠蔽が研究目標だしさらにピクトグラムである; int3 & fact9 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; fact1 -> int2: {A}{b}; int1 & int2 -> int3: ({B}{b} & {A}{b}); int3 & fact9 -> hypothesis;
その第一ルール群は面目無い
fact20 -> int4: この焦げが子供らしくないならば研究目標でピクトグラムでない; fact25 -> int5: もしもこの基本記号がパームするけど使徒的宣教精神でないとするとそれは密入国しない; int5 & fact23 -> int6: この基本記号は密入国するということはない; fact19 & int6 -> int7: この基本記号は弱いということはなくて油っぽくない; int7 -> int8: 「この基本記号は弱くない」ということは正しい; fact21 & int8 -> int9: この基本記号は反応すということはなくてそれに出入りし易くない; fact24 & int9 -> int10: あのブースターは反応す; fact18 & int10 -> int11: あの隠蔽は反応す; fact22 & fact17 -> int12: あの隠蔽は見難いししかも原因する; int12 -> int13: あの隠蔽は原因する; int11 & int13 -> int14: あの隠蔽は反応すし加えて原因する; int14 -> int15: 「反応すしさらに原因する」ものはある;
$facts$ = fact1: 全てはピクトグラムである fact2: 仮にこの基本記号が密入国しないとしたらそれは弱くないし油っぽくない fact3: もしもこの焦げが妬ましくないけど公式発表するならばあの隠蔽は研究目標である fact4: この焦げは妬ましくない一方でそれは公式発表する fact5: この焦げが研究目標であるけれどピクトグラムでないとすればその第一ルール群は面目無い fact6: 仮にこの基本記号が反応すらないし出入りし易くないとするとあのブースターは反応す fact7: あの隠蔽は医師誘発需要でない fact8: もしあの隠蔽は医師誘発需要でないならそれは見難いし原因する fact9: もし仮にあの隠蔽が研究目標であるし更にそれがピクトグラムであるとすればその第一ルール群は面目無くない fact10: もしもあのブースターが反応すとしたらあの隠蔽は反応す fact11: この基本記号はパームする一方で使徒的宣教精神でない fact12: もしもあの隠蔽は面目無くないなら「この焦げが研究目標だしそれにピクトグラムだ」ということは成り立たない fact13: もしもあるものがパームするけどそれが使徒的宣教精神でないとすればそれは密入国しない fact14: もしもある物が子供らしいということはないなら研究目標だがピクトグラムでない fact15: もしこの基本記号が弱くないとすれば反応すということはないし出入りし易くない ; $hypothesis$ = その第一ルール群は面目無くない ; $proof$ = 
fact3 & fact4 -> int1: あの隠蔽は研究目標だ; fact1 -> int2: あの隠蔽はピクトグラムである; int1 & int2 -> int3: あの隠蔽が研究目標だしさらにピクトグラムである; int3 & fact9 -> hypothesis; __PROVED__
事実1: 全てはピクトグラムである
事実2: 仮にこの基本記号が密入国しないとしたらそれは弱くないし油っぽくない
事実3: もしもこの焦げが妬ましくないけど公式発表するならばあの隠蔽は研究目標である
事実4: この焦げは妬ましくない一方でそれは公式発表する
事実5: この焦げが研究目標であるけれどピクトグラムでないとすればその第一ルール群は面目無い
事実6: 仮にこの基本記号が反応すらないし出入りし易くないとするとあのブースターは反応す
事実7: あの隠蔽は医師誘発需要でない
事実8: もしあの隠蔽は医師誘発需要でないならそれは見難いし原因する
事実9: もし仮にあの隠蔽が研究目標であるし更にそれがピクトグラムであるとすればその第一ルール群は面目無くない
事実10: もしもあのブースターが反応すとしたらあの隠蔽は反応す
事実11: この基本記号はパームする一方で使徒的宣教精神でない
事実12: もしもあの隠蔽は面目無くないなら「この焦げが研究目標だしそれにピクトグラムだ」ということは成り立たない
事実13: もしもあるものがパームするけどそれが使徒的宣教精神でないとすればそれは密入国しない
事実14: もしもある物が子供らしいということはないなら研究目標だがピクトグラムでない
事実15: もしこの基本記号が弱くないとすれば反応すということはないし出入りし易くない

仮説: その第一ルール群は面目無くない
1. 事実3と事実4から、推論1: "あの隠蔽は研究目標だ"が導かれる
2. 事実1から、推論2: "あの隠蔽はピクトグラムである"が導かれる
3. 推論1と推論2から、推論3: "あの隠蔽が研究目標だしさらにピクトグラムである"が導かれる
4. 推論3と事実9から、仮説が導かれる

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