その鰐は極まり悪い
fact1: あの飲み仲間は岩前庁であるしそれは優しい fact2: 仮にあの飲み仲間が岩前庁であるかまたはそれが誘発し易いかあるいは両方ならばその鰐は極まり悪くない fact3: もしあの飲み仲間が誘発し易いとするとその鰐は極まり悪くない fact4: この反ＧＨＱ運動は戦い抜くかもしくはそれは岩前庁であるか両方である
fact1 -> int1: あの飲み仲間は岩前庁だ; int1 -> int2: あの飲み仲間は岩前庁であるかまたは誘発し易いかあるいは両方ともである; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact2 -> hypothesis;
$facts$ = fact1: あの飲み仲間は岩前庁であるしそれは優しい fact2: 仮にあの飲み仲間が岩前庁であるかまたはそれが誘発し易いかあるいは両方ならばその鰐は極まり悪くない fact3: もしあの飲み仲間が誘発し易いとするとその鰐は極まり悪くない fact4: この反ＧＨＱ運動は戦い抜くかもしくはそれは岩前庁であるか両方である ; $hypothesis$ = その鰐は極まり悪い ; $proof$ = 
fact1 -> int1: あの飲み仲間は岩前庁だ; int1 -> int2: あの飲み仲間は岩前庁であるかまたは誘発し易いかあるいは両方ともである; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: あの飲み仲間は岩前庁であるしそれは優しい
事実2: 仮にあの飲み仲間が岩前庁であるかまたはそれが誘発し易いかあるいは両方ならばその鰐は極まり悪くない
事実3: もしあの飲み仲間が誘発し易いとするとその鰐は極まり悪くない
事実4: この反ＧＨＱ運動は戦い抜くかもしくはそれは岩前庁であるか両方である

仮説: その鰐は極まり悪い
1. 事実1から、推論1: "あの飲み仲間は岩前庁だ"が導かれる
2. 推論1から、推論2: "あの飲み仲間は岩前庁であるかまたは誘発し易いかあるいは両方ともである"が導かれる
3. 推論2と事実2から、仮説が否定される

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