「あのＢ＆Ｂは忌ま忌ましかない」ということは本当である
fact1: 「その即位は賢い一方でそれは小頭でない」ということは間違っている fact2: もしも「「賢くないし小頭でない」ということは成り立つということはない」物があるならあのＢ＆Ｂは忌ま忌ましい fact3: もしも何らかの物が賢いとすればあのＢ＆Ｂは忌ま忌ましい fact4: 「その即位は賢くないしさらに小頭でない」ということは間違いである fact5: もし「何らかのものは除しないがしかしそれは脂っぽい」ということは間違いであるとすれば忌ま忌ましかない fact6: 何かは賢くないしその上小頭でない fact7: 「「賢くないがしかし小頭である」ということは確かでない」ものはある
fact4 -> int1: 「「賢くないし小頭でない」ということは成り立たない」物はある; int1 & fact2 -> hypothesis;
あのＢ＆Ｂは忌ま忌ましかない
fact8 -> int2: 仮に「あのＢ＆Ｂは除しないがしかしそれは脂っぽい」ということは成り立つということはないとするとそれは忌ま忌ましかない;
$facts$ = fact1: 「その即位は賢い一方でそれは小頭でない」ということは間違っている fact2: もしも「「賢くないし小頭でない」ということは成り立つということはない」物があるならあのＢ＆Ｂは忌ま忌ましい fact3: もしも何らかの物が賢いとすればあのＢ＆Ｂは忌ま忌ましい fact4: 「その即位は賢くないしさらに小頭でない」ということは間違いである fact5: もし「何らかのものは除しないがしかしそれは脂っぽい」ということは間違いであるとすれば忌ま忌ましかない fact6: 何かは賢くないしその上小頭でない fact7: 「「賢くないがしかし小頭である」ということは確かでない」ものはある ; $hypothesis$ = 「あのＢ＆Ｂは忌ま忌ましかない」ということは本当である ; $proof$ = 
fact4 -> int1: 「「賢くないし小頭でない」ということは成り立たない」物はある; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「その即位は賢い一方でそれは小頭でない」ということは間違っている
事実2: もしも「「賢くないし小頭でない」ということは成り立つということはない」物があるならあのＢ＆Ｂは忌ま忌ましい
事実3: もしも何らかの物が賢いとすればあのＢ＆Ｂは忌ま忌ましい
事実4: 「その即位は賢くないしさらに小頭でない」ということは間違いである
事実5: もし「何らかのものは除しないがしかしそれは脂っぽい」ということは間違いであるとすれば忌ま忌ましかない
事実6: 何かは賢くないしその上小頭でない
事実7: 「「賢くないがしかし小頭である」ということは確かでない」ものはある

仮説: 「あのＢ＆Ｂは忌ま忌ましかない」ということは本当である
1. 事実4から、推論1: "「「賢くないし小頭でない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実2から、仮説が否定される

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