この身震いは住宅ローン金利でない
fact1: 「この身震いは見付け難くない」ということは間違っていない fact2: もしその神観は痛々しいがしかしぎごちなくないとすれば賢しくない fact3: 「この身震いは思惟実体だししかも賢しい」ということは成り立たないならこの製材コストは思惟実体でない fact4: 仮にこの製材コストが反逆者でおまけにそれが越境するとすれば住宅ローン金利だ fact5: この身震いは娶らない fact6: 仮に「この製材コストは住宅ローン金利である」ということは確かであるならばこの身震いは娶らない fact7: この製材コストは反逆者だ一方で越境しない fact8: この製材コストが反逆者だけど越境しないとすると住宅ローン金利である fact9: もしも何らかの物が思惟実体でないとすると娶るしそれにそれは住宅ローン金利である fact10: 仮にこの製材コストが娶らないけれど思惟実体だとしたらこの身震いは住宅ローン金利だ fact11: 何かはぎごちなくないとしたら「それが思惟実体だしそれは賢しい」ということは間違いだ fact12: この製材コストが住宅ローン金利だとすればこの身震いは住宅ローン金利でないし娶らない fact13: この製材コストは越境するということはない fact14: この形式は反逆者でない
fact8 & fact7 -> int1: この製材コストは住宅ローン金利である; int1 & fact12 -> int2: この身震いは住宅ローン金利であるということはないしそれに娶らない; int2 -> hypothesis;
この身震いは住宅ローン金利である
$facts$ = fact1: 「この身震いは見付け難くない」ということは間違っていない fact2: もしその神観は痛々しいがしかしぎごちなくないとすれば賢しくない fact3: 「この身震いは思惟実体だししかも賢しい」ということは成り立たないならこの製材コストは思惟実体でない fact4: 仮にこの製材コストが反逆者でおまけにそれが越境するとすれば住宅ローン金利だ fact5: この身震いは娶らない fact6: 仮に「この製材コストは住宅ローン金利である」ということは確かであるならばこの身震いは娶らない fact7: この製材コストは反逆者だ一方で越境しない fact8: この製材コストが反逆者だけど越境しないとすると住宅ローン金利である fact9: もしも何らかの物が思惟実体でないとすると娶るしそれにそれは住宅ローン金利である fact10: 仮にこの製材コストが娶らないけれど思惟実体だとしたらこの身震いは住宅ローン金利だ fact11: 何かはぎごちなくないとしたら「それが思惟実体だしそれは賢しい」ということは間違いだ fact12: この製材コストが住宅ローン金利だとすればこの身震いは住宅ローン金利でないし娶らない fact13: この製材コストは越境するということはない fact14: この形式は反逆者でない ; $hypothesis$ = この身震いは住宅ローン金利でない ; $proof$ = 
fact8 & fact7 -> int1: この製材コストは住宅ローン金利である; int1 & fact12 -> int2: この身震いは住宅ローン金利であるということはないしそれに娶らない; int2 -> hypothesis; __PROVED__
事実1: 「この身震いは見付け難くない」ということは間違っていない
事実2: もしその神観は痛々しいがしかしぎごちなくないとすれば賢しくない
事実3: 「この身震いは思惟実体だししかも賢しい」ということは成り立たないならこの製材コストは思惟実体でない
事実4: 仮にこの製材コストが反逆者でおまけにそれが越境するとすれば住宅ローン金利だ
事実5: この身震いは娶らない
事実6: 仮に「この製材コストは住宅ローン金利である」ということは確かであるならばこの身震いは娶らない
事実7: この製材コストは反逆者だ一方で越境しない
事実8: この製材コストが反逆者だけど越境しないとすると住宅ローン金利である
事実9: もしも何らかの物が思惟実体でないとすると娶るしそれにそれは住宅ローン金利である
事実10: 仮にこの製材コストが娶らないけれど思惟実体だとしたらこの身震いは住宅ローン金利だ
事実11: 何かはぎごちなくないとしたら「それが思惟実体だしそれは賢しい」ということは間違いだ
事実12: この製材コストが住宅ローン金利だとすればこの身震いは住宅ローン金利でないし娶らない
事実13: この製材コストは越境するということはない
事実14: この形式は反逆者でない

仮説: この身震いは住宅ローン金利でない
1. 事実8と事実7から、推論1: "この製材コストは住宅ローン金利である"が導かれる
2. 推論1と事実12から、推論2: "この身震いは住宅ローン金利であるということはないしそれに娶らない"が導かれる
3. 推論2から、仮説が導かれる

よって、仮説が証明されました。