「「もし仮に「通知するししかも木目調である」ということは間違っていれば「かったるい」ということは間違っている」ものはある」ということは嘘である
fact1: 仮にあの所得控除額は通知するししかも木目調だとすればそれはかったるいということはない fact2: 「ある物が御待ち頂くしその上有為だ」ということは成り立たないなら「仕方であるということはない」ということは成り立つ fact3: 「もし愛くるしくてかつ標示なら御知らせしない」物はある fact4: 「もしも「「太り始めるし更に社会保険方式である」ということは事実だ」ということは成り立たないとすると通り難くない」ものはある fact5: 「もし「あの所得控除額は通知するし木目調だ」ということは嘘であるならばあの所得控除額はかったるくない」ということは真実だ fact6: もしも「あの所得控除額は通知しない」ということは成り立つとすればかったるくない fact7: もしも「なにかは歴史的時点であるししかもおっそろし」ということは偽ならそれは通知しない
fact5 -> hypothesis;
「もし仮に「御待ち頂くしかつ有為である」ということは誤っているなら仕方でない」ものはある
fact8 -> int1: 仮に「その信長軍は御待ち頂くしおまけに有為だ」ということは間違いであるとすれば仕方でない; int1 -> hypothesis;
$facts$ = fact1: 仮にあの所得控除額は通知するししかも木目調だとすればそれはかったるいということはない fact2: 「ある物が御待ち頂くしその上有為だ」ということは成り立たないなら「仕方であるということはない」ということは成り立つ fact3: 「もし愛くるしくてかつ標示なら御知らせしない」物はある fact4: 「もしも「「太り始めるし更に社会保険方式である」ということは事実だ」ということは成り立たないとすると通り難くない」ものはある fact5: 「もし「あの所得控除額は通知するし木目調だ」ということは嘘であるならばあの所得控除額はかったるくない」ということは真実だ fact6: もしも「あの所得控除額は通知しない」ということは成り立つとすればかったるくない fact7: もしも「なにかは歴史的時点であるししかもおっそろし」ということは偽ならそれは通知しない ; $hypothesis$ = 「「もし仮に「通知するししかも木目調である」ということは間違っていれば「かったるい」ということは間違っている」ものはある」ということは嘘である ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 仮にあの所得控除額は通知するししかも木目調だとすればそれはかったるいということはない
事実2: 「ある物が御待ち頂くしその上有為だ」ということは成り立たないなら「仕方であるということはない」ということは成り立つ
事実3: 「もし愛くるしくてかつ標示なら御知らせしない」物はある
事実4: 「もしも「「太り始めるし更に社会保険方式である」ということは事実だ」ということは成り立たないとすると通り難くない」ものはある
事実5: 「もし「あの所得控除額は通知するし木目調だ」ということは嘘であるならばあの所得控除額はかったるくない」ということは真実だ
事実6: もしも「あの所得控除額は通知しない」ということは成り立つとすればかったるくない
事実7: もしも「なにかは歴史的時点であるししかもおっそろし」ということは偽ならそれは通知しない

仮説: 「「もし仮に「通知するししかも木目調である」ということは間違っていれば「かったるい」ということは間違っている」ものはある」ということは嘘である
1. 事実5から、仮説が否定される

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