「もし茶色いが反復継続するということはないとすると憎々しい」ものはある
fact1: 「もしも茶色いししかも反復継続するとすれば憎々しい」物はある fact2: もしもその検査後がルーだ一方でそれが潔しないなら反復継続する fact3: もしその検査後が茶色いがしかしそれが反復継続するということはないならば憎々しい fact4: 「もしも「踏み開くしおまけに心無くない」ということは成り立てば「達成し易い」ということは確かな」物はある fact5: 仮にその検査後は憎々しい一方で苦くないとするとそれは付き易い fact6: 仮にこの車全体は憎々しいがしかし男っぽくないとしたらそれは入園する fact7: もしその検査後が粉っぽいし更に悪いとすればそれは反復継続する fact8: ファクターウエイトは御側でないならば分岐点である fact9: もしその検査後が心無くてまた反復継続すればそれはイングランドリーグだ fact10: その検査後は茶色くて反復継続するとすればそれは憎々しい fact11: 「もしもその必要物品が談話データだ一方で漉かないとすればその必要物品は憎々しい」ということは成り立つ fact12: その検査後が解し難いが意気阻喪するということはないとしたらそれは避け様だ fact13: もしその検査後は厚いが見易くないとすればそれは茶色い fact14: もしこの六箇月後がリセットするしそれが茶色いならばそれはスクワットだ fact15: もし何らかの物は条件句であるがしかし気付き難くないとすれば「来難い」ということは誤っていない
fact3 -> hypothesis;
あの二重国籍は条件句であるがしかし気付き難いということはないとするとそれは来難い
fact16 -> hypothesis;
$facts$ = fact1: 「もしも茶色いししかも反復継続するとすれば憎々しい」物はある fact2: もしもその検査後がルーだ一方でそれが潔しないなら反復継続する fact3: もしその検査後が茶色いがしかしそれが反復継続するということはないならば憎々しい fact4: 「もしも「踏み開くしおまけに心無くない」ということは成り立てば「達成し易い」ということは確かな」物はある fact5: 仮にその検査後は憎々しい一方で苦くないとするとそれは付き易い fact6: 仮にこの車全体は憎々しいがしかし男っぽくないとしたらそれは入園する fact7: もしその検査後が粉っぽいし更に悪いとすればそれは反復継続する fact8: ファクターウエイトは御側でないならば分岐点である fact9: もしその検査後が心無くてまた反復継続すればそれはイングランドリーグだ fact10: その検査後は茶色くて反復継続するとすればそれは憎々しい fact11: 「もしもその必要物品が談話データだ一方で漉かないとすればその必要物品は憎々しい」ということは成り立つ fact12: その検査後が解し難いが意気阻喪するということはないとしたらそれは避け様だ fact13: もしその検査後は厚いが見易くないとすればそれは茶色い fact14: もしこの六箇月後がリセットするしそれが茶色いならばそれはスクワットだ fact15: もし何らかの物は条件句であるがしかし気付き難くないとすれば「来難い」ということは誤っていない ; $hypothesis$ = 「もし茶色いが反復継続するということはないとすると憎々しい」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もしも茶色いししかも反復継続するとすれば憎々しい」物はある
事実2: もしもその検査後がルーだ一方でそれが潔しないなら反復継続する
事実3: もしその検査後が茶色いがしかしそれが反復継続するということはないならば憎々しい
事実4: 「もしも「踏み開くしおまけに心無くない」ということは成り立てば「達成し易い」ということは確かな」物はある
事実5: 仮にその検査後は憎々しい一方で苦くないとするとそれは付き易い
事実6: 仮にこの車全体は憎々しいがしかし男っぽくないとしたらそれは入園する
事実7: もしその検査後が粉っぽいし更に悪いとすればそれは反復継続する
事実8: ファクターウエイトは御側でないならば分岐点である
事実9: もしその検査後が心無くてまた反復継続すればそれはイングランドリーグだ
事実10: その検査後は茶色くて反復継続するとすればそれは憎々しい
事実11: 「もしもその必要物品が談話データだ一方で漉かないとすればその必要物品は憎々しい」ということは成り立つ
事実12: その検査後が解し難いが意気阻喪するということはないとしたらそれは避け様だ
事実13: もしその検査後は厚いが見易くないとすればそれは茶色い
事実14: もしこの六箇月後がリセットするしそれが茶色いならばそれはスクワットだ
事実15: もし何らかの物は条件句であるがしかし気付き難くないとすれば「来難い」ということは誤っていない

仮説: 「もし茶色いが反復継続するということはないとすると憎々しい」ものはある
1. 事実3から、仮説が導かれる

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