この座り心地が嫁はない
fact1: なんらかのものが生計費でないしそれが嫁はない fact2: 「「嫁がないししかも生計費だ」ということは成り立たない」物はある fact3: もしその二月革命が生計費ならばこの座り心地は嫁ぐ fact4: 「「踏査でないし八分目だ」ということは間違っている」ものはある fact5: 「「嫁がなくてそれに生計費だということはない」ということは成り立たない」ものはある fact6: 「「踏査だということはないし加えて八分目であるということはない」ということは偽である」ものはある fact7: もし仮に「「踏査でなくてその上八分目でない」ということは成り立たない」物があるとすればその二月革命は生計費だ fact8: もし仮にその二月革命が生計費でないししかも日時計塔だということはないとしたらこの座り心地が嫁はない fact9: 「「生計費でなくて嫁がない」ということは間違いな」物はある fact10: なにがしかのものは嫁ぐということはなくて加えて生計費でない
fact6 & fact7 -> int1: その二月革命は生計費だ; int1 & fact3 -> hypothesis;
この座り心地が嫁はない
$facts$ = fact1: なんらかのものが生計費でないしそれが嫁はない fact2: 「「嫁がないししかも生計費だ」ということは成り立たない」物はある fact3: もしその二月革命が生計費ならばこの座り心地は嫁ぐ fact4: 「「踏査でないし八分目だ」ということは間違っている」ものはある fact5: 「「嫁がなくてそれに生計費だということはない」ということは成り立たない」ものはある fact6: 「「踏査だということはないし加えて八分目であるということはない」ということは偽である」ものはある fact7: もし仮に「「踏査でなくてその上八分目でない」ということは成り立たない」物があるとすればその二月革命は生計費だ fact8: もし仮にその二月革命が生計費でないししかも日時計塔だということはないとしたらこの座り心地が嫁はない fact9: 「「生計費でなくて嫁がない」ということは間違いな」物はある fact10: なにがしかのものは嫁ぐということはなくて加えて生計費でない ; $hypothesis$ = この座り心地が嫁はない ; $proof$ = 
fact6 & fact7 -> int1: その二月革命は生計費だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: なんらかのものが生計費でないしそれが嫁はない
事実2: 「「嫁がないししかも生計費だ」ということは成り立たない」物はある
事実3: もしその二月革命が生計費ならばこの座り心地は嫁ぐ
事実4: 「「踏査でないし八分目だ」ということは間違っている」ものはある
事実5: 「「嫁がなくてそれに生計費だということはない」ということは成り立たない」ものはある
事実6: 「「踏査だということはないし加えて八分目であるということはない」ということは偽である」ものはある
事実7: もし仮に「「踏査でなくてその上八分目でない」ということは成り立たない」物があるとすればその二月革命は生計費だ
事実8: もし仮にその二月革命が生計費でないししかも日時計塔だということはないとしたらこの座り心地が嫁はない
事実9: 「「生計費でなくて嫁がない」ということは間違いな」物はある
事実10: なにがしかのものは嫁ぐということはなくて加えて生計費でない

仮説: この座り心地が嫁はない
1. 事実6と事実7から、推論1: "その二月革命は生計費だ"が導かれる
2. 推論1と事実3から、仮説が否定される

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