その工具原体は甘酸っぱくない
fact1: 「堪り易くてさらに甘酸っぱくない」物はある fact2: もし「なにがしかの物は昂進するしその上活発化する」ということは成り立たないとすれば「それは甘酸っぱくない」ということは成り立つ fact3: もし何らかのものが離脱するとしたら学び合う fact4: あのベルビューは昂進しない fact5: 太り易くないし青っぽい物はある fact6: もし仮にあのオプションダイアログが昂進しないならそれはクンダリニーでないしそれに堪り易くない fact7: 仮に「クンダリニーでなくてまた堪り易くない」物はあるとすると「その工具原体は甘酸っぱい」ということは成り立つ fact8: あのオプションダイアログは昂進しない fact9: 「昂進しないし甘酸っぱくない」物はある
fact6 & fact8 -> int1: あのオプションダイアログはクンダリニーでないしさらに堪り易くない; int1 -> int2: 「クンダリニーでなくて堪り易くない」物はある; int2 & fact7 -> hypothesis;
その工具原体は甘酸っぱいということはない
fact11 -> int3: もし「その工具原体は昂進するしまたそれは活発化する」ということは事実と異なれば甘酸っぱくない; fact10 -> int4: もし仮にあのオプションダイアログが離脱するとすると学び合う;
$facts$ = fact1: 「堪り易くてさらに甘酸っぱくない」物はある fact2: もし「なにがしかの物は昂進するしその上活発化する」ということは成り立たないとすれば「それは甘酸っぱくない」ということは成り立つ fact3: もし何らかのものが離脱するとしたら学び合う fact4: あのベルビューは昂進しない fact5: 太り易くないし青っぽい物はある fact6: もし仮にあのオプションダイアログが昂進しないならそれはクンダリニーでないしそれに堪り易くない fact7: 仮に「クンダリニーでなくてまた堪り易くない」物はあるとすると「その工具原体は甘酸っぱい」ということは成り立つ fact8: あのオプションダイアログは昂進しない fact9: 「昂進しないし甘酸っぱくない」物はある ; $hypothesis$ = その工具原体は甘酸っぱくない ; $proof$ = 
fact6 & fact8 -> int1: あのオプションダイアログはクンダリニーでないしさらに堪り易くない; int1 -> int2: 「クンダリニーでなくて堪り易くない」物はある; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: 「堪り易くてさらに甘酸っぱくない」物はある
事実2: もし「なにがしかの物は昂進するしその上活発化する」ということは成り立たないとすれば「それは甘酸っぱくない」ということは成り立つ
事実3: もし何らかのものが離脱するとしたら学び合う
事実4: あのベルビューは昂進しない
事実5: 太り易くないし青っぽい物はある
事実6: もし仮にあのオプションダイアログが昂進しないならそれはクンダリニーでないしそれに堪り易くない
事実7: 仮に「クンダリニーでなくてまた堪り易くない」物はあるとすると「その工具原体は甘酸っぱい」ということは成り立つ
事実8: あのオプションダイアログは昂進しない
事実9: 「昂進しないし甘酸っぱくない」物はある

仮説: その工具原体は甘酸っぱくない
1. 事実6と事実8から、推論1: "あのオプションダイアログはクンダリニーでないしさらに堪り易くない"が導かれる
2. 推論1から、推論2: "「クンダリニーでなくて堪り易くない」物はある"が導かれる
3. 推論2と事実7から、仮説が否定される

よって、仮説が否定されました。