あの弗化物は涙ぐましくない
fact1: あの弗化物は民間薬でないとしたら「それは寝苦しいということはない」ということは成り立つ fact2: この製造所が涙ぐましいかまたは寝苦しくないかまたは両方ともだとすればあの企業内は涙ぐましいということはない fact3: あの弗化物は民間薬でない fact4: 「仮にあの企業内が涙ぐましくないならばその弗化物は涙ぐましい」ということは事実だ fact5: もしなにかは法定繰り入れ率でないならばそれは識別しない fact6: 寝苦しくないものは大歓迎しないしさらに涙ぐましくない fact7: もしもなんらかのものは民間薬でないならば涙ぐましいかまたは寝苦しくないかあるいは両方ともだ
fact6 -> int1: もしあの弗化物が寝苦しいということはないとすればそれは大歓迎しないし涙ぐましくない; fact1 & fact3 -> int2: あの弗化物は寝苦しくない; int1 & int2 -> int3: あの弗化物は大歓迎しなくてしかも涙ぐましくない; int3 -> hypothesis;
もし仮に「あの弗化物は法定繰り入れ率でない」ということは確かであるとしたら識別するということはない
fact8 -> hypothesis;
$facts$ = fact1: あの弗化物は民間薬でないとしたら「それは寝苦しいということはない」ということは成り立つ fact2: この製造所が涙ぐましいかまたは寝苦しくないかまたは両方ともだとすればあの企業内は涙ぐましいということはない fact3: あの弗化物は民間薬でない fact4: 「仮にあの企業内が涙ぐましくないならばその弗化物は涙ぐましい」ということは事実だ fact5: もしなにかは法定繰り入れ率でないならばそれは識別しない fact6: 寝苦しくないものは大歓迎しないしさらに涙ぐましくない fact7: もしもなんらかのものは民間薬でないならば涙ぐましいかまたは寝苦しくないかあるいは両方ともだ ; $hypothesis$ = あの弗化物は涙ぐましくない ; $proof$ = 
fact6 -> int1: もしあの弗化物が寝苦しいということはないとすればそれは大歓迎しないし涙ぐましくない; fact1 & fact3 -> int2: あの弗化物は寝苦しくない; int1 & int2 -> int3: あの弗化物は大歓迎しなくてしかも涙ぐましくない; int3 -> hypothesis; __PROVED__
事実1: あの弗化物は民間薬でないとしたら「それは寝苦しいということはない」ということは成り立つ
事実2: この製造所が涙ぐましいかまたは寝苦しくないかまたは両方ともだとすればあの企業内は涙ぐましいということはない
事実3: あの弗化物は民間薬でない
事実4: 「仮にあの企業内が涙ぐましくないならばその弗化物は涙ぐましい」ということは事実だ
事実5: もしなにかは法定繰り入れ率でないならばそれは識別しない
事実6: 寝苦しくないものは大歓迎しないしさらに涙ぐましくない
事実7: もしもなんらかのものは民間薬でないならば涙ぐましいかまたは寝苦しくないかあるいは両方ともだ

仮説: あの弗化物は涙ぐましくない
1. 事実6から、推論1: "もしあの弗化物が寝苦しいということはないとすればそれは大歓迎しないし涙ぐましくない"が導かれる
2. 事実1と事実3から、推論2: "あの弗化物は寝苦しくない"が導かれる
3. 推論1と推論2から、推論3: "あの弗化物は大歓迎しなくてしかも涙ぐましくない"が導かれる
4. 推論3から、仮説が導かれる

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