この専断剛性は心無くない
fact1: 「この賃貸収入は心無い」ということは確かである fact2: この専断剛性は副社長である fact3: この専断剛性は鬱滞である fact4: この玄関ホールは心無い fact5: 「同クラスである」ものがあるとしたらこの専断剛性は人らしい fact6: もしも「同クラスである」物があるとしたらこの専断剛性は人らしいしその上心無い fact7: 「同クラスである」物はある fact8: 仮に「豊田式木製動力織機であるかまたは人らしくない」物があるとするとこの専断剛性は同クラスでない fact9: 「心無い」ものはある fact10: この専断剛性は調べ易い fact11: その抗不安薬は人らしい fact12: この専断剛性は人らしい
fact7 & fact6 -> int1: この専断剛性は人らしいししかもそれは心無い; int1 -> hypothesis;
この専断剛性は心無くない
$facts$ = fact1: 「この賃貸収入は心無い」ということは確かである fact2: この専断剛性は副社長である fact3: この専断剛性は鬱滞である fact4: この玄関ホールは心無い fact5: 「同クラスである」ものがあるとしたらこの専断剛性は人らしい fact6: もしも「同クラスである」物があるとしたらこの専断剛性は人らしいしその上心無い fact7: 「同クラスである」物はある fact8: 仮に「豊田式木製動力織機であるかまたは人らしくない」物があるとするとこの専断剛性は同クラスでない fact9: 「心無い」ものはある fact10: この専断剛性は調べ易い fact11: その抗不安薬は人らしい fact12: この専断剛性は人らしい ; $hypothesis$ = この専断剛性は心無くない ; $proof$ = 
fact7 & fact6 -> int1: この専断剛性は人らしいししかもそれは心無い; int1 -> hypothesis; __DISPROVED__
事実1: 「この賃貸収入は心無い」ということは確かである
事実2: この専断剛性は副社長である
事実3: この専断剛性は鬱滞である
事実4: この玄関ホールは心無い
事実5: 「同クラスである」ものがあるとしたらこの専断剛性は人らしい
事実6: もしも「同クラスである」物があるとしたらこの専断剛性は人らしいしその上心無い
事実7: 「同クラスである」物はある
事実8: 仮に「豊田式木製動力織機であるかまたは人らしくない」物があるとするとこの専断剛性は同クラスでない
事実9: 「心無い」ものはある
事実10: この専断剛性は調べ易い
事実11: その抗不安薬は人らしい
事実12: この専断剛性は人らしい

仮説: この専断剛性は心無くない
1. 事実7と事実6から、推論1: "この専断剛性は人らしいししかもそれは心無い"が導かれる
2. 推論1から、仮説が否定される

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