その羽箒は使用期限でない
fact1: あの回線交換は打っぱなすし心許ない fact2: 「あの三十七項は使用期限だ」ということは本当だ fact3: もし何らかのものが所収するしそれが口付けすればその羽箒は使用期限でない fact4: 何らかのものは口付けする fact5: 「所収する」ものはある fact6: あの蝶々結びは口付けする fact7: その第二共和政は口付けする fact8: もしもあの蝶々結びが使用期限だということはないとしたらこの天然理心流は口付けするしまた所収する fact9: もし仮に何らかのものが所収するし使用期限であるならその羽箒は口付けしない fact10: あの蝶々結びは心許ない fact11: 「所収するし更に使用期限である」物はある fact12: あの蝶々結びは消す fact13: あの海外輸出は所収する fact14: もしもなにがしかのものは使用期限であるし加えて所収するなら「その羽箒は口付けしない」ということは事実だ fact15: あのＢＡＳＳは口付けする fact16: もしもとあるものが投げ売りでないとしたらそれは口付けするかもしくは所収する fact17: その羽箒は所収する fact18: あの蝶々結びは所収する fact19: その羽箒は所狭し
fact18 & fact6 -> int1: あの蝶々結びは所収するし口付けする; int1 -> int2: 何らかのものは所収するし更に口付けする; int2 & fact3 -> hypothesis;
fact18 & fact6 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis;
この天然理心流は口付けする
$facts$ = fact1: あの回線交換は打っぱなすし心許ない fact2: 「あの三十七項は使用期限だ」ということは本当だ fact3: もし何らかのものが所収するしそれが口付けすればその羽箒は使用期限でない fact4: 何らかのものは口付けする fact5: 「所収する」ものはある fact6: あの蝶々結びは口付けする fact7: その第二共和政は口付けする fact8: もしもあの蝶々結びが使用期限だということはないとしたらこの天然理心流は口付けするしまた所収する fact9: もし仮に何らかのものが所収するし使用期限であるならその羽箒は口付けしない fact10: あの蝶々結びは心許ない fact11: 「所収するし更に使用期限である」物はある fact12: あの蝶々結びは消す fact13: あの海外輸出は所収する fact14: もしもなにがしかのものは使用期限であるし加えて所収するなら「その羽箒は口付けしない」ということは事実だ fact15: あのＢＡＳＳは口付けする fact16: もしもとあるものが投げ売りでないとしたらそれは口付けするかもしくは所収する fact17: その羽箒は所収する fact18: あの蝶々結びは所収する fact19: その羽箒は所狭し ; $hypothesis$ = その羽箒は使用期限でない ; $proof$ = 
fact18 & fact6 -> int1: あの蝶々結びは所収するし口付けする; int1 -> int2: 何らかのものは所収するし更に口付けする; int2 & fact3 -> hypothesis; __PROVED__
事実1: あの回線交換は打っぱなすし心許ない
事実2: 「あの三十七項は使用期限だ」ということは本当だ
事実3: もし何らかのものが所収するしそれが口付けすればその羽箒は使用期限でない
事実4: 何らかのものは口付けする
事実5: 「所収する」ものはある
事実6: あの蝶々結びは口付けする
事実7: その第二共和政は口付けする
事実8: もしもあの蝶々結びが使用期限だということはないとしたらこの天然理心流は口付けするしまた所収する
事実9: もし仮に何らかのものが所収するし使用期限であるならその羽箒は口付けしない
事実10: あの蝶々結びは心許ない
事実11: 「所収するし更に使用期限である」物はある
事実12: あの蝶々結びは消す
事実13: あの海外輸出は所収する
事実14: もしもなにがしかのものは使用期限であるし加えて所収するなら「その羽箒は口付けしない」ということは事実だ
事実15: あのＢＡＳＳは口付けする
事実16: もしもとあるものが投げ売りでないとしたらそれは口付けするかもしくは所収する
事実17: その羽箒は所収する
事実18: あの蝶々結びは所収する
事実19: その羽箒は所狭し

仮説: その羽箒は使用期限でない
1. 事実18と事実6から、推論1: "あの蝶々結びは所収するし口付けする"が導かれる
2. 推論1から、推論2: "何らかのものは所収するし更に口付けする"が導かれる
3. 推論2と事実3から、仮説が導かれる

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