「なにがしかの物は古臭いしそれにそれは沢山する」ということは成り立たない
fact1: 「あの個体毎が慕わしい一方で当て付けはましくらない」ということは間違っている fact2: 「あの個体毎は立て難いけど沢山しない」ということは誤りだ fact3: もし「あの個体毎は立て難いけどそれは沢山しない」ということは成り立たないとすれば「沢山する」ということは間違いだということはない fact4: すべての物は古臭いけどけばけばしくない fact5: 「あの個体毎は国内線だししかも晴々しい」ということは間違いだ fact6: もしも「あの個体毎は期待し得るけれどＡ社でない」ということは偽であるとするとＡ社である
fact4 -> int1: あの個体毎は古臭いがしかしけばけばしいということはない; int1 -> int2: あの個体毎は古臭い; fact3 & fact2 -> int3: あの個体毎は沢山する; int2 & int3 -> int4: あの個体毎は古臭いし沢山する; int4 -> hypothesis;
$facts$ = fact1: 「あの個体毎が慕わしい一方で当て付けはましくらない」ということは間違っている fact2: 「あの個体毎は立て難いけど沢山しない」ということは誤りだ fact3: もし「あの個体毎は立て難いけどそれは沢山しない」ということは成り立たないとすれば「沢山する」ということは間違いだということはない fact4: すべての物は古臭いけどけばけばしくない fact5: 「あの個体毎は国内線だししかも晴々しい」ということは間違いだ fact6: もしも「あの個体毎は期待し得るけれどＡ社でない」ということは偽であるとするとＡ社である ; $hypothesis$ = 「なにがしかの物は古臭いしそれにそれは沢山する」ということは成り立たない ; $proof$ = 
fact4 -> int1: あの個体毎は古臭いがしかしけばけばしいということはない; int1 -> int2: あの個体毎は古臭い; fact3 & fact2 -> int3: あの個体毎は沢山する; int2 & int3 -> int4: あの個体毎は古臭いし沢山する; int4 -> hypothesis; __DISPROVED__
事実1: 「あの個体毎が慕わしい一方で当て付けはましくらない」ということは間違っている
事実2: 「あの個体毎は立て難いけど沢山しない」ということは誤りだ
事実3: もし「あの個体毎は立て難いけどそれは沢山しない」ということは成り立たないとすれば「沢山する」ということは間違いだということはない
事実4: すべての物は古臭いけどけばけばしくない
事実5: 「あの個体毎は国内線だししかも晴々しい」ということは間違いだ
事実6: もしも「あの個体毎は期待し得るけれどＡ社でない」ということは偽であるとするとＡ社である

仮説: 「なにがしかの物は古臭いしそれにそれは沢山する」ということは成り立たない
1. 事実4から、推論1: "あの個体毎は古臭いがしかしけばけばしいということはない"が導かれる
2. 推論1から、推論2: "あの個体毎は古臭い"が導かれる
3. 事実3と事実2から、推論3: "あの個体毎は沢山する"が導かれる
4. 推論2と推論3から、推論4: "あの個体毎は古臭いし沢山する"が導かれる
5. 推論4から、仮説が否定される

よって、仮説が否定されました。