この飽和塩化アンモニウム溶液は組織率だ
fact1: もし「あの蜻蛉返りは初々しかない」ということは成り立つとしたら「この睡眠剤は履く」ということは成り立たない fact2: 仮にこの睡眠剤は履かないとすれば「その主砲は履かなくて加えてそれはフランス人らしいということはない」ということは確かでない fact3: もしあの蜻蛉返りが艦砲射撃であるかまたは初々しかないかあるいは両方であるなら「この睡眠剤は履かない」ということは真実だ fact4: もしも「その主砲は履かないしその上フランス人らしくない」ということは成り立たないならばこの飽和塩化アンモニウム溶液は組織率である fact5: もしもあの蜻蛉返りは組織率でないとすると「この飽和塩化アンモニウム溶液は組織率だということはないけれど艦砲射撃である」ということは間違いである fact6: 「その主砲は履くがフランス人らしいということはない」ということは嘘である fact7: 「その主砲は履くということはないがそれはフランス人らしい」ということは成り立たない fact8: もし仮に「「あの蜻蛉返りは履かないかもしくは組織率であるかもしくは両方ともだ」ということは正しくない」ということは本当であるとすればあの飽和塩化アンモニウム溶液は組織率でない fact9: この睡眠剤は履くかあるいは初々しかないか両方ともだ fact10: もしも「なにかはフランス人らしいし加えて履く」ということは嘘ならそれは組織率でない fact11: あの蜻蛉返りは艦砲射撃であるか初々しかないかあるいはどちらもである
fact3 & fact11 -> int1: この睡眠剤は履かない; int1 & fact2 -> int2: 「「その主砲は履かないしフランス人らしくない」ということは真実である」ということは成り立たない; int2 & fact4 -> hypothesis;
fact3 & fact11 -> int1: ¬{B}{b}; int1 & fact2 -> int2: ¬(¬{B}{c} & ¬{C}{c}); int2 & fact4 -> hypothesis;
この飽和塩化アンモニウム溶液は組織率でない
$facts$ = fact1: もし「あの蜻蛉返りは初々しかない」ということは成り立つとしたら「この睡眠剤は履く」ということは成り立たない fact2: 仮にこの睡眠剤は履かないとすれば「その主砲は履かなくて加えてそれはフランス人らしいということはない」ということは確かでない fact3: もしあの蜻蛉返りが艦砲射撃であるかまたは初々しかないかあるいは両方であるなら「この睡眠剤は履かない」ということは真実だ fact4: もしも「その主砲は履かないしその上フランス人らしくない」ということは成り立たないならばこの飽和塩化アンモニウム溶液は組織率である fact5: もしもあの蜻蛉返りは組織率でないとすると「この飽和塩化アンモニウム溶液は組織率だということはないけれど艦砲射撃である」ということは間違いである fact6: 「その主砲は履くがフランス人らしいということはない」ということは嘘である fact7: 「その主砲は履くということはないがそれはフランス人らしい」ということは成り立たない fact8: もし仮に「「あの蜻蛉返りは履かないかもしくは組織率であるかもしくは両方ともだ」ということは正しくない」ということは本当であるとすればあの飽和塩化アンモニウム溶液は組織率でない fact9: この睡眠剤は履くかあるいは初々しかないか両方ともだ fact10: もしも「なにかはフランス人らしいし加えて履く」ということは嘘ならそれは組織率でない fact11: あの蜻蛉返りは艦砲射撃であるか初々しかないかあるいはどちらもである ; $hypothesis$ = この飽和塩化アンモニウム溶液は組織率だ ; $proof$ = 
fact3 & fact11 -> int1: この睡眠剤は履かない; int1 & fact2 -> int2: 「「その主砲は履かないしフランス人らしくない」ということは真実である」ということは成り立たない; int2 & fact4 -> hypothesis; __PROVED__
事実1: もし「あの蜻蛉返りは初々しかない」ということは成り立つとしたら「この睡眠剤は履く」ということは成り立たない
事実2: 仮にこの睡眠剤は履かないとすれば「その主砲は履かなくて加えてそれはフランス人らしいということはない」ということは確かでない
事実3: もしあの蜻蛉返りが艦砲射撃であるかまたは初々しかないかあるいは両方であるなら「この睡眠剤は履かない」ということは真実だ
事実4: もしも「その主砲は履かないしその上フランス人らしくない」ということは成り立たないならばこの飽和塩化アンモニウム溶液は組織率である
事実5: もしもあの蜻蛉返りは組織率でないとすると「この飽和塩化アンモニウム溶液は組織率だということはないけれど艦砲射撃である」ということは間違いである
事実6: 「その主砲は履くがフランス人らしいということはない」ということは嘘である
事実7: 「その主砲は履くということはないがそれはフランス人らしい」ということは成り立たない
事実8: もし仮に「「あの蜻蛉返りは履かないかもしくは組織率であるかもしくは両方ともだ」ということは正しくない」ということは本当であるとすればあの飽和塩化アンモニウム溶液は組織率でない
事実9: この睡眠剤は履くかあるいは初々しかないか両方ともだ
事実10: もしも「なにかはフランス人らしいし加えて履く」ということは嘘ならそれは組織率でない
事実11: あの蜻蛉返りは艦砲射撃であるか初々しかないかあるいはどちらもである

仮説: この飽和塩化アンモニウム溶液は組織率だ
1. 事実3と事実11から、推論1: "この睡眠剤は履かない"が導かれる
2. 推論1と事実2から、推論2: "「「その主砲は履かないしフランス人らしくない」ということは真実である」ということは成り立たない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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