そのみわみにょLv.92は浅ましい
fact1: そのみわみにょLv.92は補助する fact2: そのみわみにょLv.92は重々しい fact3: あのぽやぽわLv.4は忘れ掛ける fact4: もしもそのみわみにょLv.92が補助すれば忘れ掛ける fact5: もしもそのみわみにょLv.92が忘れ掛けるしおまけに重々しいならば浅ましいということはない
fact4 & fact1 -> int1: 「そのみわみにょLv.92は忘れ掛ける」ということは本当である; int1 & fact2 -> int2: そのみわみにょLv.92は忘れ掛けるしそれは重々しい; int2 & fact5 -> hypothesis;
fact4 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis;
$facts$ = fact1: そのみわみにょLv.92は補助する fact2: そのみわみにょLv.92は重々しい fact3: あのぽやぽわLv.4は忘れ掛ける fact4: もしもそのみわみにょLv.92が補助すれば忘れ掛ける fact5: もしもそのみわみにょLv.92が忘れ掛けるしおまけに重々しいならば浅ましいということはない ; $hypothesis$ = そのみわみにょLv.92は浅ましい ; $proof$ = 
fact4 & fact1 -> int1: 「そのみわみにょLv.92は忘れ掛ける」ということは本当である; int1 & fact2 -> int2: そのみわみにょLv.92は忘れ掛けるしそれは重々しい; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis; __DISPROVED__