そのスペーサはアミン中和する
fact1: 仮にあの地上部が悔しくないとしたら生白い fact2: 「そのスペーサは母親らしい」ということは成り立つ fact3: なんらかの物が仲裁しないとしたらそれは見付け難い fact4: あの三十一項はへし折らないとしたらそれは取り扱い易い fact5: そのスペーサは英米である fact6: その予定時間が白っぽい一方で齟齬しないとするとそのスペーサはアミン中和しない fact7: この支給時は齟齬するということはない fact8: そのスペーサは急接近しないしそれは上がり難くない fact9: その重心移動は疑り深いということはなくて持ち難くない fact10: もし仮に何らかのものが齟齬しないとするとアミン中和する fact11: そのスペーサは真っ暗くないしまた白っぽくない fact12: そのスペーサは白っぽくないし加えて齟齬しない fact13: そのスペーサは白っぽくない fact14: そのスペーサは真っ暗くないしデータ構造でない
fact12 -> int1: そのスペーサは齟齬しない; fact10 -> int2: もしそのスペーサは齟齬しないならば「アミン中和する」ということは成り立つ; int1 & int2 -> hypothesis;
そのスペーサはアミン中和しない
$facts$ = fact1: 仮にあの地上部が悔しくないとしたら生白い fact2: 「そのスペーサは母親らしい」ということは成り立つ fact3: なんらかの物が仲裁しないとしたらそれは見付け難い fact4: あの三十一項はへし折らないとしたらそれは取り扱い易い fact5: そのスペーサは英米である fact6: その予定時間が白っぽい一方で齟齬しないとするとそのスペーサはアミン中和しない fact7: この支給時は齟齬するということはない fact8: そのスペーサは急接近しないしそれは上がり難くない fact9: その重心移動は疑り深いということはなくて持ち難くない fact10: もし仮に何らかのものが齟齬しないとするとアミン中和する fact11: そのスペーサは真っ暗くないしまた白っぽくない fact12: そのスペーサは白っぽくないし加えて齟齬しない fact13: そのスペーサは白っぽくない fact14: そのスペーサは真っ暗くないしデータ構造でない ; $hypothesis$ = そのスペーサはアミン中和する ; $proof$ = 
fact12 -> int1: そのスペーサは齟齬しない; fact10 -> int2: もしそのスペーサは齟齬しないならば「アミン中和する」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあの地上部が悔しくないとしたら生白い
事実2: 「そのスペーサは母親らしい」ということは成り立つ
事実3: なんらかの物が仲裁しないとしたらそれは見付け難い
事実4: あの三十一項はへし折らないとしたらそれは取り扱い易い
事実5: そのスペーサは英米である
事実6: その予定時間が白っぽい一方で齟齬しないとするとそのスペーサはアミン中和しない
事実7: この支給時は齟齬するということはない
事実8: そのスペーサは急接近しないしそれは上がり難くない
事実9: その重心移動は疑り深いということはなくて持ち難くない
事実10: もし仮に何らかのものが齟齬しないとするとアミン中和する
事実11: そのスペーサは真っ暗くないしまた白っぽくない
事実12: そのスペーサは白っぽくないし加えて齟齬しない
事実13: そのスペーサは白っぽくない
事実14: そのスペーサは真っ暗くないしデータ構造でない

仮説: そのスペーサはアミン中和する
1. 事実12から、推論1: "そのスペーサは齟齬しない"が導かれる
2. 事実10から、推論2: "もしそのスペーサは齟齬しないならば「アミン中和する」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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