この春泥は茶髪であるということはないかもしくはそれは引っこ抜かない
fact1: もしもその代替策はスクーターでないとしたらそれは第一海堡であるししかも打順だ fact2: 何もかもはスクーターでない fact3: もしも「この春泥は断定し難い」ということは偽だということはないなら「その宗教絵画は無声化し易くない一方でそれはＸＯである」ということは嘘だ fact4: もしもこの春泥が無声化し易いとすれば茶髪でないかそれは引っこ抜かないかもしくは両方だ fact5: 仮に「とある物は無声化し易くないけどＸＯである」ということは確かでないとしたら無声化し易い fact6: 「この春泥は無声化し易い」ということは正しい fact7: この建て増しは無声化し易い fact8: 無声化し易い物は引っこ抜く
fact4 & fact6 -> hypothesis;
fact4 & fact6 -> hypothesis;
その宗教絵画は引っこ抜く
fact13 -> int1: もしもその宗教絵画が無声化し易いなら引っこ抜く; fact10 -> int2: 「もしも「その宗教絵画は無声化し易くないがＸＯだ」ということは成り立つということはないならその宗教絵画は無声化し易い」ということは成り立つ; fact11 -> int3: その代替策はスクーターでない; fact9 & int3 -> int4: その代替策が第一海堡だしおまけに打順である; int4 -> int5: その代替策は第一海堡である; int5 -> int6: 「第一海堡な」ものはある;
$facts$ = fact1: もしもその代替策はスクーターでないとしたらそれは第一海堡であるししかも打順だ fact2: 何もかもはスクーターでない fact3: もしも「この春泥は断定し難い」ということは偽だということはないなら「その宗教絵画は無声化し易くない一方でそれはＸＯである」ということは嘘だ fact4: もしもこの春泥が無声化し易いとすれば茶髪でないかそれは引っこ抜かないかもしくは両方だ fact5: 仮に「とある物は無声化し易くないけどＸＯである」ということは確かでないとしたら無声化し易い fact6: 「この春泥は無声化し易い」ということは正しい fact7: この建て増しは無声化し易い fact8: 無声化し易い物は引っこ抜く ; $hypothesis$ = この春泥は茶髪であるということはないかもしくはそれは引っこ抜かない ; $proof$ = 
fact4 & fact6 -> hypothesis; __PROVED__
事実1: もしもその代替策はスクーターでないとしたらそれは第一海堡であるししかも打順だ
事実2: 何もかもはスクーターでない
事実3: もしも「この春泥は断定し難い」ということは偽だということはないなら「その宗教絵画は無声化し易くない一方でそれはＸＯである」ということは嘘だ
事実4: もしもこの春泥が無声化し易いとすれば茶髪でないかそれは引っこ抜かないかもしくは両方だ
事実5: 仮に「とある物は無声化し易くないけどＸＯである」ということは確かでないとしたら無声化し易い
事実6: 「この春泥は無声化し易い」ということは正しい
事実7: この建て増しは無声化し易い
事実8: 無声化し易い物は引っこ抜く

仮説: この春泥は茶髪であるということはないかもしくはそれは引っこ抜かない
1. 事実4と事実6から、仮説が導かれる

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