「その一旗はトリミングするしまた長い」ということは誤りである
fact1: もしその日弁連人権擁護委員会が危なっかしいとすればその一旗は代々だ fact2: なんらかの物は代々だけど危なっかしくない fact3: あの専制君主制は長い fact4: その一旗は長い fact5: もし「御聞かせ下さるが留守中でない」ものがあるとしたらその日弁連人権擁護委員会は危なっかしい fact6: あの専制君主制は御聞かせ下さるけど留守中であるということはない fact7: もしもその一旗は代々であるとしたらそれはトリミングする
fact6 -> int1: 何かは御聞かせ下さるけれど留守中でない; int1 & fact5 -> int2: 「その日弁連人権擁護委員会は危なっかしい」ということは成り立つ; int2 & fact1 -> int3: その一旗は代々だ; int3 & fact7 -> int4: その一旗はトリミングする; int4 & fact4 -> hypothesis;
$facts$ = fact1: もしその日弁連人権擁護委員会が危なっかしいとすればその一旗は代々だ fact2: なんらかの物は代々だけど危なっかしくない fact3: あの専制君主制は長い fact4: その一旗は長い fact5: もし「御聞かせ下さるが留守中でない」ものがあるとしたらその日弁連人権擁護委員会は危なっかしい fact6: あの専制君主制は御聞かせ下さるけど留守中であるということはない fact7: もしもその一旗は代々であるとしたらそれはトリミングする ; $hypothesis$ = 「その一旗はトリミングするしまた長い」ということは誤りである ; $proof$ = 
fact6 -> int1: 何かは御聞かせ下さるけれど留守中でない; int1 & fact5 -> int2: 「その日弁連人権擁護委員会は危なっかしい」ということは成り立つ; int2 & fact1 -> int3: その一旗は代々だ; int3 & fact7 -> int4: その一旗はトリミングする; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: もしその日弁連人権擁護委員会が危なっかしいとすればその一旗は代々だ
事実2: なんらかの物は代々だけど危なっかしくない
事実3: あの専制君主制は長い
事実4: その一旗は長い
事実5: もし「御聞かせ下さるが留守中でない」ものがあるとしたらその日弁連人権擁護委員会は危なっかしい
事実6: あの専制君主制は御聞かせ下さるけど留守中であるということはない
事実7: もしもその一旗は代々であるとしたらそれはトリミングする

仮説: 「その一旗はトリミングするしまた長い」ということは誤りである
1. 事実6から、推論1: "何かは御聞かせ下さるけれど留守中でない"が導かれる
2. 推論1と事実5から、推論2: "「その日弁連人権擁護委員会は危なっかしい」ということは成り立つ"が導かれる
3. 推論2と事実1から、推論3: "その一旗は代々だ"が導かれる
4. 推論3と事実7から、推論4: "その一旗はトリミングする"が導かれる
5. 推論4と事実4から、仮説が否定される

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