「「いがらっぽいということかあるいは旅慣れることかもしくはどちらもが起こる」ということは真実だ」ということは成り立つということはない
fact1: 仲間らしいということと旅慣れること両方が生じる
fact1 -> int1: 旅慣れることが起きる; int1 -> hypothesis;
fact1 -> int1: {B}; int1 -> hypothesis;
$facts$ = fact1: 仲間らしいということと旅慣れること両方が生じる ; $hypothesis$ = 「「いがらっぽいということかあるいは旅慣れることかもしくはどちらもが起こる」ということは真実だ」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: 旅慣れることが起きる; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 -> hypothesis; __DISPROVED__